+ [9 years ago] drro is it possible to simply download a fucking file from github to disk, from web ui?
+ [9 years ago] preaction there's a Raw button
+ [9 years ago] drro the problem is I'm using android, instead of normal OS/webbrowser and neither seem to have builtin tool for such "strange" task
+ [9 years ago] drro preaction: which opens it as text
+ [9 years ago] drro maybe 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?
+ [9 years ago] MikeClassic Can one set up webhooks on someone else's repository so it can notify when they tag a new release?
+ [9 years ago] Zarthus nope, you will probably have to follow the atom feed (not sure if there is one for repos) or make an API call
+ [9 years ago] Zarthus or ask them to add you to the email service
+ [9 years ago] int-e Can 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...)
+ [9 years ago] npo1 Hi 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