diff options
| author | Harsh Shandilya <msfjarvis@gmail.com> | 2020-09-02 18:18:18 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-02 18:18:18 +0530 |
| commit | 6f42586a8d7319981ecf3a71d8f8338752295b36 (patch) | |
| tree | 970ea3f3dad2cfeac2c52c82df0549a686e25463 /scripts | |
| parent | cbb96397d1f5cffef7984b08a426646aaea93e5b (diff) | |
github: update workflows to use peter-evans/create-pull-request (#1072)
Turns out the workflow we use currently is far too unreliable.
Signed-off-by: Harsh Shandilya <me@msfjarvis.dev>
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions