Merge pull request #3114 from tannewt/shrink_files.json

Shrink files.json by using one space instead of four.
This commit is contained in:
Dan Halbert 2020-07-03 18:52:54 -04:00 committed by GitHub
commit 77b5a38ec7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 18 deletions

View File

@ -153,7 +153,7 @@ def create_pr(changes, updated, git_info, user):
info["id"] = id
updated_list.append(info)
updated = json.dumps(updated_list, sort_keys=True, indent=4).encode("utf-8") + b"\n"
updated = json.dumps(updated_list, sort_keys=True, indent=1).encode("utf-8") + b"\n"
#print(updated.decode("utf-8"))
pr_title = "Automated website update for release {}".format(changes["new_release"])
boards = ""
@ -205,19 +205,6 @@ def create_pr(changes, updated, git_info, user):
print(changes)
print(pr_info)
def update_downloads(boards, release):
response = github.get("/repos/adafruit/circuitpython/releases/tags/{}".format(release))
if not response.ok:
print(response.text)
raise RuntimeError("cannot get previous release info")
assets = response.json()["assets"]
for asset in assets:
board_name = asset["name"].split("-")[2]
if board_name not in boards:
continue
boards[board_name]["download_count"] += asset["download_count"]
def print_active_user():
response = github.get("/user")
@ -269,9 +256,6 @@ def generate_download_info():
board_mapping = get_board_mapping()
for release in previous_releases:
update_downloads(board_mapping, release)
for port in SUPPORTED_PORTS:
board_path = os.path.join("../ports", port, "boards")
for board_path in os.scandir(board_path):
@ -291,7 +275,9 @@ def generate_download_info():
"stable": new_stable,
"version": new_tag,
"modules": support_matrix.get(alias, "[]"),
"files": {}
"files": {},
"languages": languages,
"extensions": board_info["extensions"]
}
for language in languages:
files = []