tree a459d5874a8604eeebd464a3a99c1731c2eb3a4f
parent 38315c272ea3af2bffd9a38711ffbf32d2b1866d
author Marc Kupietz <kupietz@ids-mannheim.de> 1607701044 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1607701044 +0100

Make import_github_pull_requests work also without gh workflows

If there are no gh workflows (./.github/workflows does not exist)
simply pick all open gh pull requests.

Change-Id: Ia8001a80fccd59e5ef31e9940ac3f324569eb335