diff --git a/merging/accept_upstream.py b/tools/accept_upstream.py similarity index 100% rename from merging/accept_upstream.py rename to tools/accept_upstream.py diff --git a/test.py b/tools/colors_test.py similarity index 100% rename from test.py rename to tools/colors_test.py diff --git a/deploy.sh b/tools/deploy.sh old mode 100755 new mode 100644 similarity index 100% rename from deploy.sh rename to tools/deploy.sh diff --git a/merging/list_unresolved.py b/tools/list_unresolved.py similarity index 96% rename from merging/list_unresolved.py rename to tools/list_unresolved.py index 80a28dfb..207bfbef 100644 --- a/merging/list_unresolved.py +++ b/tools/list_unresolved.py @@ -21,6 +21,7 @@ def obtain_resolved(): if __name__ == '__main__': # Obtain a list of resolved issues resolved = set(obtain_resolved()) + print(f'There are {len(resolved)} resolved PRs') # Read the ignore-list with open(Path(__file__).parent / "pull_request_markings.yaml") as stream: diff --git a/merging/pull_request_markings.yaml b/tools/pull_request_markings.yaml similarity index 100% rename from merging/pull_request_markings.yaml rename to tools/pull_request_markings.yaml diff --git a/merging/reformat_readme.py b/tools/reformat_readme.py similarity index 100% rename from merging/reformat_readme.py rename to tools/reformat_readme.py