Make a tested push delete the dev branch so as to not cause duplicate builds.
commitfb85ab8898d7cf36d2b8b510f7d79abf07ec0c41
authorFred Cooke <fred.cooke@gmail.com>
Sun, 2 Dec 2012 10:24:21 +0000 (2 11:24 +0100)
committerFred Cooke <fred.cooke@gmail.com>
Sun, 2 Dec 2012 10:45:21 +0000 (2 11:45 +0100)
tree58df15276062e92488b620ae481bc8e6e9cb8e84
parentc4d268e55f2b4326fa54717def111b860ba8cd47
Make a tested push delete the dev branch so as to not cause duplicate builds.
bin/pushtested