Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429)

[Seb M]

@rockdaboot Ok, I just did want you wanted because the "commit-check" in the 
[pileline](https://gitlab.com/sebman/wget2/-/jobs/204544700) is asking me to 
add `Copyright-paperwork-exempt: Yes` (for minor change) in my commit message : 
```bash
$ git reset HEAD~1
Unstaged changes after reset:
M       configure.ac
$ git commit --amend -a 
[master 99edb70c] Copyright-paperwork-exempt: Yes Test if doxygen OR pandoc is 
present to build the docs
 Date: Mon Apr 29 21:11:20 2019 +0200
 1 file changed, 12 insertions(+), 6 deletions(-)
$ git push --force-with-lease
Enumerating objects: 5, done.
Counting objects: 100% (5/5), done.
Delta compression using up to 4 threads
Compressing objects: 100% (3/3), done.
Writing objects: 100% (3/3), 504 bytes | 504.00 KiB/s, done.
Total 3 (delta 2), reused 0 (delta 0)
remote: GitLab: You are not allowed to force push code to a protected branch on 
this project.
To gitlab.com:sebman/wget2.git
 ! [remote rejected]   master -> master (pre-receive hook declined)
error: failed to push some refs to 'address@hidden:sebman/wget2.git'
```
But as you can see, the `git push --force-with-lease` didn't work.

Can you help ?

-- 
Reply to this email directly or view it on GitLab: 
https://gitlab.com/gnuwget/wget2/issues/429#note_165362356
You're receiving this email because of your account on gitlab.com.