+[2019-09-08T19:23:40Z]jhassJayDoubleu: I think nothing you can set without admin/owner access to the repo in question +[2019-09-08T19:25:35Z]jhassso yeah, polling indeed. you should be able to fetch the dates of the releases or at least their corresponding tags, so all you need to store is the previous fetch date and then check if the release date is newer. Well, if you fetch it from the tags, the tag may have been created well before the release I guess, so that may be a special case to handle, if there's no creation date for the release +[2019-09-08T19:26:28Z]jhassgithub's API also returns you a nice header informing you when you can make your next request without breaching any rate limit +[2019-09-08T19:26:46Z]jhassor should rather as they also use that a bit for load control +[2019-09-08T21:25:51Z]mjacobjhass: after commenting on a commit, the list of commits in the pull request will show a "bubble" on that commit, but i didn't observe that the comments itself will show up anywhere in the pull request
At the moment, it's 74+/14- with regard to dolphinsmalltalk/master
+[2019-09-09T04:51:28Z]pikajudehello. i'm using the `hub` tool to interact with github, but it asks for my username and password whenever i push to my repo, even though ~/.config/hub is populated +[2019-09-09T04:52:02Z]pikajudewhat could be the cause? +[2019-09-09T04:53:03Z]R2robotdo you have ssh keys setup on github? +[2019-09-09T04:59:26Z]pikajudeno, i use tokens + https +[2019-09-09T04:59:34Z]pikajudeif i copy the token out of ~/.config/hub and use that at the password prompt it gives me then it works