| commit | 60bef56504a2ef4277f0e8a36405629f2b06fe0d | [log] [tgz] |
|---|---|---|
| author | Marc Kupietz <kupietz@ids-mannheim.de> | Thu Jul 23 16:09:30 2020 +0200 |
| committer | Akron <nils@diewald-online.de> | Fri Jul 24 11:32:54 2020 +0200 |
| tree | 993d1e9096a9860e671efef1f6cb66d8a7c2ae53 |
Add script to import github pull requests to local repo The script also makes suggestions on how to upload the changes for review and distinguishes between PRs with successful and failed CI tests. Change-Id: I9e83e3ca6393a0cdeb4eba9c4b2e2e93652efc9b