+ [2019-09-17T17:44:15Z] jlk https://developer.github.com/v3/apps/permissions/#permission-on-issues
+ [2019-09-17T17:45:01Z] flipchan yeah, write POST /repos/:owner/:repo/issues (:write)
+ [2019-09-17T19:21:55Z] flipchan is there a certain timezone that should be used for https://developer.github.com/apps/building-github-apps/authenticating-with-github-apps/
+ [2019-09-17T20:13:10Z] flipchan solved it

message no. 174601

Posted by Naros in #github at 2019-09-17T17:21:43Z

I tried with the GITHUB_TOKEN, but I get "Resource not accessible by integration"
+ [2019-09-18T20:45:29Z] oldandwise how can we tell when did a git branch was pushed to remote?
+ [2019-09-18T21:24:34Z] jlk That isn't really recorded in git metadata
+ [2019-09-18T21:36:55Z] darkfreeway So when someone opens a Pull Request, they still can work on that branch and still push into that branch, which is automatically reflected in the Pull Request.
+ [2019-09-18T21:37:48Z] darkfreeway This kinda creates a race condition with a reviewer and the developer. Let's say reviewer wants to merge it, and spends some time reviewing the Pull Request.
+ [2019-09-18T21:39:00Z] darkfreeway And when everything looks good, merges the Pull Request, but a developer who now wants to work on a different feature on the same branch, pushed new changes right before reviewer merged.