On 26. Nov 2018, at 19:57, Marshall Schor <[email protected]> wrote: > > or, for trivial changes (fixing a typo, etc.), > > make changes in master checkout, commit to master (locally), and push to > remote?
Yes - for the kind of change that you'd mark "No Jira". But most of the time, you'd want the CI server to build the change before it gets merged - i.e. you have the CI server monitoring PR branches, auto-building them, and giving a thumbs up if all goes well... then you merge the change. Cheers, -- Richard
