On 6/20/24 08:18, Jonathan S. Katz wrote: > On 6/20/24 4:07 AM, Tom Lane wrote: >> Dave Page <dpage@pgadmin.org> writes: >>> On Wed, 19 Jun 2024 at 22:01, Magnus Hagander <magnus@hagander.net> wrote: >>>> On Wed, Jun 19, 2024 at 10:53 PM Daniel Gustafsson <daniel@yesql.se> >>>>> On 19 Jun 2024, at 22:32, Joe Conway <mail@joeconway.com> wrote: >>>>>> Looks like I have push access on pgweb-static due to my sysadmin >>>>>> release-day duties, but not pgweb itself. So someone else will need to push >>>>>> the changes unless I am told to give myself access ;-) >> >>>>> While it's not my call, personally as a pgweb committer I think your >>>>> commitbit should cover pgweb as well. >> >>>> +1. >> >>> +1 - go for it. >> >> +1 --- give yourself that commit bit. > > +1 on pushing the patch, +0 on commit bit due to Joe & I working > together at $DAYJOB.
Pushed. It looks good to me -- please let me know if you see anything off.
Since the committers[1] and sysadmin[2] pages are now on pg.o, shall I remove them from the wiki? Or wait some amount of time?
I'd clear them out, and replace the content with a link to the new pages.