Fix #918: trim whitespace around commit message
Fix #887: fix github deployment when branch name has a slash