How does this work for you UX-wise? Do you use github? Do you and your collaborators select each commit individually inside a pull request?