Merged #188 "Fix failure to clear/delete ticket topic and description"
Improve the error message when too many commits are pushed for a proposal
Merge branch 'ticket/135' into develop
Merged #135 "Regression in create-ticket-on-push"
Respect repository default integration branch for new proposal tickets
Merge branch 'ticket/135' into develop