[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: wget2 | Improve manual formatting (!526)
From: |
@rockdaboot |
Subject: |
Re: wget2 | Improve manual formatting (!526) |
Date: |
Fri, 04 Aug 2023 09:26:45 +0000 |
Tim Rühsen commented:
https://gitlab.com/gnuwget/wget2/-/merge_requests/526#note_1500380463
Thank you, appreciated :+1:
> It's a documentation change, if you want me to add myself in AUTHORS just
> confirm and I will do so. I haven't checked the policy for this type of
> changes.
I consider your changes as "trivial" in regards to copyright laws, and thus a
`Copyright-paperwork-exempt: Yes` in the commit message (as the last line) is
enough.
"Trivial" does not mean that the amount of work you put into the changes is
trivial! To do all those little changes, I'd personally need a non trivial
amount of time :smile:. It is awesome that you invested your time for this.
When you are amending the commit messages, please also make them "GNU
standard", which basically means you add a line like
```
* docs/wget2.md: Wrap short options with backtick
```
(replace short with long for the other commit)
When done locally, just force push with `git push --force-with-lease`, so that
I can approve/merge.
--
Reply to this email directly or view it on GitLab:
https://gitlab.com/gnuwget/wget2/-/merge_requests/526#note_1500380463
You're receiving this email because of your account on gitlab.com.
- wget2 | Improve manual formatting (!526), Carles Pina Estany (@carles_pina), 2023/08/03
- Re: wget2 | Improve manual formatting (!526), Carles Pina Estany (@carles_pina), 2023/08/03
- Re: wget2 | Improve manual formatting (!526),
@rockdaboot <=
- Re: wget2 | Improve manual formatting (!526), Carles Pina Estany (@carles_pina), 2023/08/04
- Re: wget2 | Improve manual formatting (!526), @rockdaboot, 2023/08/05
- Re: wget2 | Improve manual formatting (!526), @rockdaboot, 2023/08/05
- Re: wget2 | Improve manual formatting (!526), @rockdaboot, 2023/08/05
- Re: wget2 | Improve manual formatting (!526), @rockdaboot, 2023/08/05
- Re: wget2 | Improve manual formatting (!526), Carles Pina Estany (@carles_pina), 2023/08/05