Re: keeping PR titles / descriptions up to date

2014-12-04 Thread Andrew Or
I realize we're not voting, but +1 to this proposal since commit messages can't be changed whereas JIRA issues can always be updated after the fact. 2014-12-02 13:05 GMT-08:00 Patrick Wendell : > Also a note on this for committers - it's possible to re-word the > title during merging, by just run

Re: keeping PR titles / descriptions up to date

2014-12-02 Thread Patrick Wendell
Also a note on this for committers - it's possible to re-word the title during merging, by just running "git commit -a --amend" before you push the PR. - Patrick On Tue, Dec 2, 2014 at 12:50 PM, Mridul Muralidharan wrote: > I second that ! > Would also be great if the JIRA was updated accordingl

Re: keeping PR titles / descriptions up to date

2014-12-02 Thread Mridul Muralidharan
I second that ! Would also be great if the JIRA was updated accordingly too. Regards, Mridul On Wed, Dec 3, 2014 at 1:53 AM, Kay Ousterhout wrote: > Hi all, > > I've noticed a bunch of times lately where a pull request changes to be > pretty different from the original pull request, and the tit