Sorting out why github rejects a push