↳ In-reply-to » Anyone else having trouble pulling from git.mills.io? 🤔

For the record, the third thing is to activate agent forwarding. In ~/.ssh/config:

Host git.mills.io
ForwardAgent yes