move another script

filter-versions-from-github.py

+#!/usr/bin/env python3
+import os
+import requests
+import git
+
+githubpath = os.environ["UPSTREAM_GITHUB_PATH"]
+
+repo = git.Repo('.')
+req = requests.get(f"https://api.github.com/repos/{githubpath}/releases")
+releases = [ release['tag_name'] for release in req.json() ]
+releases.sort()
+
+for release in releases:
+	release_exists = False
+	for tag in repo.tags:
+		if tag.name == release:
+			release_exists = True
+			break
+	if release_exists:
+		continue
+	print(release)