tree 93c0cd87f7f4d31cfd1dc101f381fff910ff8ef7
parent 6e62de0fc553f35cb861ddb59c5788d12b9d83a6
author Tim Windelschmidt <tim@monogon.tech> 1739053858 +0000
committer Tim Windelschmidt <tim@monogon.tech> 1739227266 +0000

build/github_repository: add repository rule for github

This adds a repository rule for fetching github repos as their archive including submodules.

Closes monogon-dev/monogon#183

Change-Id: I0f712f3aa31d6cf6f0e3f7693d2e667a5293a589
Reviewed-on: https://review.monogon.dev/c/monogon/+/3841
Tested-by: Jenkins CI
Reviewed-by: Leopold Schabel <leo@monogon.tech>