tree 993d1e9096a9860e671efef1f6cb66d8a7c2ae53
author Marc Kupietz <kupietz@ids-mannheim.de> 1595513370 +0200
committer Akron <nils@diewald-online.de> 1595583174 +0200

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