+[2016-06-04T20:57:09Z]drrois it possible to simply download a fucking file from github to disk, from web ui? +[2016-06-04T20:57:32Z]preactionthere's a Raw button +[2016-06-04T20:57:43Z]drrothe problem is I'm using android, instead of normal OS/webbrowser and neither seem to have builtin tool for such "strange" task +[2016-06-04T20:57:51Z]drropreaction: which opens it as text +[2016-06-04T20:58:23Z]drromaybe there should be a download button, that forces browser headers/mime that does a download
message no. 138042
Posted by jhass in #github at 2016-06-04T17:25:10Z
zzookk: link?
+[2016-06-05T00:11:02Z]MikeClassicCan one set up webhooks on someone else's repository so it can notify when they tag a new release? +[2016-06-05T00:18:17Z]Zarthusnope, you will probably have to follow the atom feed (not sure if there is one for repos) or make an API call +[2016-06-05T00:18:24Z]Zarthusor ask them to add you to the email service +[2016-06-05T12:03:20Z]int-eCan a comment on github link to an issue in a way that its status is visible? it seems a bit silly to comment on another issue just to get a mention, with status, in one's own. (I'm looking at https://help.github.com/articles/autolinked-references-and-urls/ and suspect that the answer is no...) +[2016-06-05T16:33:32Z]npo1Hi I'm new to git -- if I fork a repository on github, commit changes to that forked repo, and then submit a pull request to have that forked repo merged with the original repo, will those changes show up in my profile? I'm using github as a personal portfolio and want my contributions to show up