Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 10 additions & 0 deletions .ssh/config
Original file line number Diff line number Diff line change
Expand Up @@ -4,3 +4,13 @@ Host github.com
User git
IdentityFile ~/.ssh/github_ed25519
IdentitiesOnly yes
# git push opens this connection BEFORE running the pre-push hook, then
# leaves it fully idle for the hook's entire duration. Found 2026-08-29:
# under heavy concurrent machine load (~80 sessions), hooks routinely ran
# long enough that GitHub's idle-connection timeout killed the SSH session
# while the hook was still running — the push then silently failed to
# transfer after printing "Safe to push," with only a stray "Connection to
# github.com closed by remote host." in the log to explain it. Active
# keepalives during that idle window prevent the drop.
ServerAliveInterval 30
ServerAliveCountMax 10