adds an additional push command for github repos
changes cider alias to not reload after each run.