Updated git_push to reflect repo.or.cz changes.

[final_edu.git] / git_push

#!/bin/bash

git push ssh://00z@repo.or.cz/srv/git/final_edu.git