[riot-devel] [RFC] do not edit commits in a PR under review
ludwig.ortmann at fu-berlin.de
Mon Dec 2 10:19:47 CET 2013
I'd add this paragraph to the Development Procedures :
9. When updating a pull request, push the changes as individual commits so the
reviewers can tell how their comments have been addressed. (I.e. Refrain from
squashing/amending changes to the pull request immediately.)
E.g.: "address comment by @UserName - fix license header
Once the pull request gets acknowledged, these follow up commits should be
squashed in a reasonable manner before merging.
On Wed, Nov 27, 2013 at 02:20:21PM +0100, Oleg Hahm wrote:
> Ludwig recently suggested to add a rule to the coding conventions  to
> forbid editing commits in an open Pull Request that is still under review. I
> support this idea because otherwise it is difficult to keep track of the
> development of the PR and integration of comments.
> Any objections?
>  https://github.com/RIOT-OS/RIOT/wiki/Coding-conventions
> I saw your POST, but could only respond with OK - I guess I didn't GET it.
> devel mailing list
> devel at riot-os.org
More information about the devel