Regarding the URL in .git/config: Which part does the actual trick?
I typically use the https-url for pulling and the ssh-url for pushing. This allows me to pull even if I did not unlock the key in ssh-agent. Now I wonder whether this will work with fj.el. WDYT?