+[9 years ago]Dougie187Yes, github doesn't do that though +[9 years ago]Dougie187You have to try to merge by hand and that will tell you what they are +[9 years ago]Dougie187You can figure out what the merge conflicts are without having write access +[9 years ago]patarrYou know how when you "fork" a repo, the repo has a little hyperlink indicating where it was forked from? What happens when a company has been working on a fork for so long, it essentially becomes a different product. Is there a way to remove this link? +[9 years ago]sveinsepatarr: git remote rm origin
+[9 years ago]amingoiaIs there a way to display some sort of notice on the "New Issue" page? +[9 years ago]GeoHi! one of our brilliant co-devs, several dozen commits back, somehow managed to only merge the 'ChangeLog' file in about a dozen PRs (via GitHub). I assume the local branches have since been deleted; is there someway to go back and resubmit those PRs via GitHub, when I'm not the originator? I have the original commit SHA of the originator, just not sure if I can re-do it on their behalf +[9 years ago]averageif I delete a github fork after a pull-request is created, and just leave the pull-request open, will the upstream still be able to merge the pull-request ? +[9 years ago]Zarthus!crosspost +[9 years ago]gitinfoNote: The above question was posted in both #git and #github