Maybe I'm not understanding your issue correctly, but for such a case you could push two commits at the same time. Apart from that "git diff -w" will hide any whitespace changes so I'm not I personally wouldn't consider it important to split such changes across commits.
- Re: run pgindent on a regular basis / scripted manner Andres Freund
- Re: run pgindent on a regular basis / scripted ma... Jelte Fennema
- Re: run pgindent on a regular basis / scripted ma... Peter Geoghegan
- Re: run pgindent on a regular basis / scripted ma... Tom Lane
- Re: run pgindent on a regular basis / scripted manner Andres Freund
- Re: run pgindent on a regular basis / scripted manner Peter Geoghegan
- Re: run pgindent on a regular basis / scripted ma... Andres Freund
- Re: run pgindent on a regular basis / scripted ma... Jelte Fennema
- Re: run pgindent on a regular basis / scripted ma... Jelte Fennema
- Re: run pgindent on a regular basis / scripted ma... Tom Lane
- Re: run pgindent on a regular basis / scripted ma... Jelte Fennema
- Re: run pgindent on a regular basis / scripted ma... Andres Freund
- Re: run pgindent on a regular basis / scripted ma... Tom Lane
- Re: run pgindent on a regular basis / scripted ma... Andrew Dunstan
- Re: run pgindent on a regular basis / scripted ma... Andres Freund
- Re: run pgindent on a regular basis / scripted ma... Andrew Dunstan
- Re: run pgindent on a regular basis / scripted ma... Andres Freund
- Re: run pgindent on a regular basis / scripted ma... Tom Lane
- Re: run pgindent on a regular basis / scripted ma... Andrew Dunstan
- Re: run pgindent on a regular basis / scripted ma... Tom Lane
- Re: run pgindent on a regular basis / scripted ma... Noah Misch