branderson
2d1d8cce46
mirror/github-mirror.sh publishes main and its tags to a read-only GitHub mirror, adding a notice under the README title, with a systemd timer to run it hourly. A GitHub Actions workflow builds the images on the mirror and pushes them to ghcr.io. The docs point prebuilt images there, and CONTRIBUTING no longer invites issues and pull requests. upstream-status.sh now fetches without tags, so upstream's version tags stay out of local clones.
27 lines
1.3 KiB
Desktop File
27 lines
1.3 KiB
Desktop File
# User unit for the GitHub mirror, on a host that can push to GitHub. Never in
|
|
# a dejima session: a sandbox may push only to its own forge.
|
|
#
|
|
# install -m 755 mirror/github-mirror.sh ~/.local/bin/dotcom-arcade-github-mirror
|
|
# cp mirror/dotcom-arcade-github-mirror.service mirror/dotcom-arcade-github-mirror.timer ~/.config/systemd/user/
|
|
# systemctl --user daemon-reload
|
|
# systemctl --user enable --now dotcom-arcade-github-mirror.timer
|
|
#
|
|
# A copy, not a link into the checkout: the timer holds a key that can push to
|
|
# GitHub, and a session working in this checkout can edit the script.
|
|
# Reinstall it after reviewing an update.
|
|
#
|
|
# ~/.config/dotcom-arcade/github-mirror.env sets MIRROR_SOURCE, the forge
|
|
# clone URL, and whatever else mirror/github-mirror.sh documents. The GitHub
|
|
# key, a deploy key with write access to the repository, belongs behind an ssh
|
|
# Host alias named in MIRROR_TARGET, so it is not also offered to the forge:
|
|
#
|
|
# MIRROR_SOURCE=git@forge.example.com:owner/dotcom-arcade.git
|
|
# MIRROR_TARGET=git@github-dotcom-arcade:branderson/dotcom-arcade.git
|
|
[Unit]
|
|
Description=Mirror Dotcom Arcade's main and release tags to GitHub
|
|
|
|
[Service]
|
|
Type=oneshot
|
|
EnvironmentFile=%h/.config/dotcom-arcade/github-mirror.env
|
|
ExecStart=%h/.local/bin/dotcom-arcade-github-mirror
|