Ranter
Join devRant
Do all the things like
++ or -- rants, post your own rants, comment on others' rants and build your customized dev avatar
Sign Up
Pipeless API
From the creators of devRant, Pipeless lets you power real-time personalized recommendations and activity feeds using a simple API
Learn More
Comments
-
endor57515yYou committed a file with an unresolved merge conflict. Look into the file's history to figure out when that happened and maybe try fixing its history.
(Note: this happened locally. Github is just showing you the outcome). -
lxmcf204105y@endor yeah just found the issue, tried to commit different changes on different machines :-/
-
but seriously ... can't GitHub check for the merge issue on push and say " You sure about this?" Git might not do it natively but GitHub could add it in the push response as an error.
-
endor57515y@devphobe no, and it's not their job to. Git *does* warn you about merge conflicts locally - that's the whole point of a merge conflict. The user still has to manually add files, commit, and push, which assumes he's done his due diligence of checking that everything was correct beforehand.
It's the same reason why linux doesn't ask you twice when you try to sudo rm -rf a directory.
Related Rants
Excuse me github?
(I have literally no idea what has happened here)
random
github