Fixing GitHub branches