Hi Ludo,

Ah, I forgot: I would remove the mention to your usual login civodul and
instead use classical aubrey or blake or carol or dana or … :-)

On Thu, 17 Apr 2025 at 21:48, Ludovic Courtès <ludo@gnu.org> wrote:

>> Last, it appears to me a good idea to also provide the tip for removing
>> closed pull requests; because it’s not straightforward – at least, it
>> was not obvious for me before I did my homework. :-)
>
> That’s the ‘prs-clean’ alias you provided, right?

Yes.  To me, it was not obvious how to delete a local reference and
clean my local repository.

Somehow, I’m thinking to the future myself in some months or in 2 years:

I read the GCD for fun and profit and see oh cool, nice tip!  Let run
“git fetch pulls”… and bang it downloads hundreds (or thousand?) of pull
requests containing thousands of commits.  Oops!  Now I need to clean
because I do not care about the hundreds of already merged pull
requests.

> We can add it, but maybe it’s best to keep it for some developer
> documentation?  (I did not intend this part of the GCD to be
> documentation; rather my goal was to give an overview of the available
> interfaces.)

I agree.  All the tips are only appetizers (make us want to cook) and
not some real meal (make us full).

My point reads:

 1) The document provide a “lengthy“ example of fj.el.  And we are not
    all Emacs users.    

 2) The tip ’git fetch pulls’ is almost useless for a regular reviewer.
    I mean in practice, it’s almost useless or bazooka.  Who care to
    download all the pull requests?  Download even all the closed ones,
    and then manually trigger or look for the ones of interest.

 3) This tip ’git fetch pulls’ does not expose Forgejo API.

That’s why, IMHO, the tip ’git fetch pulls’ should be replaced either by
a plain paragraphs, or either by some short and minimal examples exposing
how to exploit the API, or either by a mix of both.

All in all, I propose this: