add alias for github: github-send-pull-request-to-develop