wget-dev
[Top][All Lists]
Advanced

[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.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]