Re: run pgindent on a regular basis / scripted manner
Noah Misch <noah@leadboat.com>
On Mon, Feb 06, 2023 at 06:17:02PM +0100, Peter Eisentraut wrote: > Also, pgindent takes tens of seconds to run, so hooking that into the git > push process would slow this down quite a bit. The pre-receive hook would do a full pgindent when you change typedefs.list. Otherwise, it would reindent only the files being changed. The average push need not take tens of seconds. > If somehow your local > indenting doesn't give you the "correct" result for some reason, you might > sit there for minutes and minutes trying to fix and push and fix and push. As Andres mentioned, the hook could print the command it used. It could even print the diff it found, for you to apply. On Mon, Feb 06, 2023 at 04:36:07PM -0500, Tom Lane wrote: > Andres Freund <andres@anarazel.de> writes: > > On 2023-02-06 18:17:02 +0100, Peter Eisentraut wrote: > >> First, as a matter of principle, it would introduce another level of > >> gatekeeping power. Right now, the committers are as a group in charge of > >> what gets into the tree. Adding commit hooks that are installed > >> somewhere(?) by someone(?) and can only be seen by some(?) would upset that. > >> If we were using something like github or gitlab (not suggesting that, but > >> for illustration), then you could put this kind of thing under .github/ or > >> similar and then it would be under the same control as the source code > >> itself. > > > Well, we did talk about adding a pre-commit hook to the repository, with > > instructions for how to enable it. And I don't see a problem with adding the > > pre-receive we're discussing here to src/tools/something. > > Yeah. I don't think we are seriously considering putting any restrictions > in place on gitmaster I could have sworn that was exactly what we were discussing, a pre-receive hook on gitmaster.
Commits
GET /api/v1/messages/:b64id/commits
the thread's linked commits as JSON, with link sources.
API reference →
-
Fix comment from commit 22655aa231.
- 01529c704008 17.0 cited
-
Add a few recent commits to .git-blame-ignore-revs.
- 0df7d1da40e3 17.0 landed
-
Pre-beta2 mechanical code beautification.
- b334612b8aee 16.0 landed
-
Pre-beta mechanical code beautification.
- 0245f8db36f3 16.0 landed
-
Make agreed-on updates in perltidy options.
- df6b19fbbc20 16.0 landed
-
Remove obsolete pgindent options --code-base and --build
- b16259b3c189 16.0 landed
-
Integrate pg_bsd_indent into our build/test infrastructure.
- 156c049beed9 16.0 landed
-
Sync pg_bsd_indent's copyright notices with Postgres practice.
- b44e5fced3e5 16.0 landed
-
Import pg_bsd_indent sources.
- 4e831f4cee14 16.0 landed
-
pgindent: filter files for the --commit option
- dab07e8c6896 16.0 landed
-
pgindent: more ways to find files to indent
- 068a243b7771 16.0 landed
-
Fix pgindent --show-diff option.
- 62e1e28bf769 16.0 cited
-
Add non-destructive modes to pgindent
- b90f0b57474e 16.0 landed
-
Initial pgindent run with pg_bsd_indent version 2.0.
- e3860ffa4dd0 10.0 cited