Sounds more like a general technical github problem with merges.