tree 45ec241adad9c23d28366d1cdebd376a3bf37785
parent 587dcb785fabed543cbc5be4607713765917c62d
author Marc Kupietz <kupietz@ids-mannheim.de> 1764247948 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1764406437 +0100

Add -a option to import all GH PRs regardless of CI status

Change-Id: I9754d0cb3714da886389bcc2fdbbe9b69d4b5ae4