diff options
| author | NoPlagiarism <37241775+NoPlagiarism@users.noreply.github.com> | 2023-07-18 02:15:51 +0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-17 15:15:51 -0600 |
| commit | 9104650cfecfb7f6aea42fc755b565f19c79d370 (patch) | |
| tree | 112b1822858dd560fadbf47ee46bfeddae65507b /.github | |
| parent | 46c9b664789cc4f03d2ea075bb598ac0702b58e1 (diff) | |
| download | farside-9104650cfecfb7f6aea42fc755b565f19c79d370.tar.gz | |
Add GotHub support (#116)
Adds support for GotHub, an alternative frontend for GitHub
---------
Co-authored-by: Ben Busby <contact@benbusby.com>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/update-instances.yml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.github/workflows/update-instances.yml b/.github/workflows/update-instances.yml index 2c043ab..829583b 100644 --- a/.github/workflows/update-instances.yml +++ b/.github/workflows/update-instances.yml @@ -217,6 +217,18 @@ jobs: apply_update # ============================================================== + # GotHub update + # ============================================================== + + curl -s https://codeberg.org/gothub/gothub-instances/raw/branch/master/instances.json | \ + jq '[.[] | .link]' > gothub-tmp.json + jq --slurpfile gothub-tmp.json \ + '(.[] | select(.type == "gothub") ) + .instances |= $gothub[0]' services-full.json > services-tmp.json + + apply_update + + # ============================================================== # TODO: Update instances for other services # ============================================================== |