mirror of
https://gitlab.archlinux.org/archlinux/infrastructure.git
synced 2026-09-20 00:03:36 +02:00
Kristian Klausen
7480935e2f
Pushing to GitHub sometimes take several minutes (due to packing AFAIU), without any traffic between us and GitHub in the meantime, resulting in the connection being closed/killed likely by a middlebox (firewall or load balancer is my guess) at GitHub's end. Ensure the connection is not closed/killed by enabling SSH's ServerAliveInterval so there is traffic at regular intervals. Fix #620
7 lines
210 B
Django/Jinja
7 lines
210 B
Django/Jinja
[Service]
|
|
Type=oneshot
|
|
User={{ aurweb_user }}
|
|
WorkingDirectory={{ aurweb_git_dir }}
|
|
Environment="GIT_SSH_COMMAND=ssh -o ServerAliveInterval=25"
|
|
ExecStart=git push --force --all git@github.com:archlinux/aur.git
|