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 /.gitmodules | |
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 '.gitmodules')
0 files changed, 0 insertions, 0 deletions