Finally wrote a small shell script to make posting easier though. Now I can push from pretty much anywhere that has my SSH key.