tweak git pretty format a bit more
fix ops server nickname in dev
update port in ssh config for rerun
add code format to gitconfig