+[6 years ago]wisciiyeah, i understand .. just thought github might have included something simpler +[6 years ago]jhassnot that I'm aware of :) +[6 years ago]wisciiok, thak you for the help :) +[6 years ago]wisciin* +[6 years ago]jhassyw :)
jhass: ideally just to retrieve the current head short commit ID
+[6 years ago]amosbirdhi, how can I reopen a merged pr? +[6 years ago]jhassamosbird: I don't think you can, open a new one from the same branch :) +[6 years ago]energizeris there a way to link to the latest *release* of a project on github, without explicitly using the specific number? +[6 years ago]vdamewoodenergizer: Make it a branch? +[6 years ago]energizervdamewood: apparently the feature exists already :) https://help.github.com/en/articles/linking-to-releases