Re: RFC: \hideNote

[Graham Percival]

On Tue, Nov 01, 2011 at 03:35:39PM +0000, Adam Spiers wrote:
> Sure, but my point is that if the script updates the autogenerated
> files, then they should also be included in the patch, right?

Ideally included in a separate commit, but using some git magick
to tell it to treat both commits as the same thing for the purpose
of rebase.

In this case (since you don't have git push access and therefore
can't put stuff on your own branch), just go ahead and include it
in the same patch.

- Graham