As an even simpler alternative to 2, you can push branches directly from one machine to another:
$ git remote add server ssh://me@server.edu/home/me/.julia/dev/MyPkg # do this just once
$ git push server me/fix_issue_13
where the last line is pushing a branch of the current repo (MyPkg) to the server for testing.