Fix #887: fix github deployment when branch name has a slash