rename pipeline to better reflect its usage
commit77779e73ec693a1e9a07a9e1cda0755dcc2b86dd
authorSebastian Hoß <mail@shoss.de>
Sun, 5 Jun 2016 15:17:19 +0000 (5 17:17 +0200)
committerSebastian Hoß <mail@shoss.de>
Sun, 5 Jun 2016 15:19:31 +0000 (5 17:19 +0200)
tree703c03f255b7794d861e13635bd06b47e2f24612
parent507dcdf9bbe8ecf71cfb09dac806134d39822afd
rename pipeline to better reflect its usage

Signed-off-by: Sebastian Hoß <mail@shoss.de>
build/jenkins/deploy-at-sebhoss [moved from build/jenkins/Jenkinsfile with 95% similarity]