Add GitHub repo size badge to README

[murpii]

No description provided.

[def-]

It's not an official GitHub feature and so gives away user info to shields.io. Otherwise lgtm.
Can't we just write "Repo size is > 1 GiB" and that's good enough?

[murpii]

It's not an official GitHub feature and so gives away user info to shields.io. Otherwise lgtm. Can't we just write "Repo size is > 1 GiB" and that's good enough?

An alternative would be to generate a badge ourselves through a GitHub Action and commit the resulting SVG to the repository.

I mirrored a possible implementation on my fork to demonstrate how this could work.

or...

Since @ddnet-maps automatically updates the repository anyway, maybe we can hook it up there instead?

[murpii]

Probably don't even need to generate a badge like I did and update just the readme.md via GitHub Actions.

  run: |
    SIZE=$(curl -s https://api.github.com/repos/${{ github.repository }} | jq -r '.size' | awk '{printf "%.2f MiB", $1/1024}')
    sed -i "s/^Repository size:.*/Repository size: $SIZE/" README.md

[def-]

Yeah, both of those work without relying on any extra services. Kind of a minor thing, so if you like we can also merge this PR.

[murpii]

@def- I went with option B. @ddnet-maps should update the download sizes for the ZIP and git pull option on the next run after merging this and the build-map.sh PR.