+ [6 years ago] jlk https://developer.github.com/v3/apps/permissions/#permission-on-issues
+ [6 years ago] flipchan yeah, write POST /repos/:owner/:repo/issues (:write)
+ [6 years ago] flipchan is there a certain timezone that should be used for https://developer.github.com/apps/building-github-apps/authenticating-with-github-apps/

message no. 174608

Posted by flipchan in #github at 2019-09-17T17:44:02Z

https://developer.github.com/v3/issues/#create-an-issue
+ [6 years ago] oldandwise how can we tell when did a git branch was pushed to remote?
+ [6 years ago] jlk That isn't really recorded in git metadata
+ [6 years ago] 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.
+ [6 years ago] 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.
+ [6 years ago] 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.