Make a tested push delete the dev branch so as to not cause duplicate builds.

[freeems-vanilla.git] / bin / pushtested

#!/bin/bash

git push origin      master :dev
git push raptor      master :dev
git push freeems     master :dev
git push gitorious   master :dev
git push sourceforge master :dev
git push repoorcz    master :dev