github: Use main instead of master