+ [5 years ago] jlk https://developer.github.com/v3/apps/permissions/#permission-on-issues
+ [5 years ago] flipchan yeah, write POST /repos/:owner/:repo/issues (:write)
+ [5 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. 174598

Posted by Naros in #github at 2019-09-17T17:20:34Z

I have repo A where I have an action where I send a POST to repo B's endpoint https://api.github.com/repos/<owner>/<repo>/dispatches
+ [5 years ago] oldandwise how can we tell when did a git branch was pushed to remote?
+ [5 years ago] jlk That isn't really recorded in git metadata
+ [5 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.
+ [5 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.
+ [5 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.