cinder-dev: Push merged changes to github repo

NOTE: need to change Jenkins password manually from Jenkins dashboard (as putting it here is bad) to successfully push changes to GitHub.