wget-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Tim Rühsen
Subject: Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429)
Date: Mon, 29 Apr 2019 20:26:30 +0000



@sebman I can then manually merge those two commits into one and push it to 
master.

But you can 'fix' this by yourself pretty easily:
- reset your last commit with `git reset HEAD~1`. No code is lost, you can see 
your latest change now with `git diff`.
- to merge these change(s) into the latest commit: `git commit --amend -a` 
(then just save and exit the editor)
- now update the MR with `git push --force-with-lease`

You can install the tool `gitk` - just start it without options and you can 
navigate through all the commits in your current branch. Click on one and 
you'll see your changes.

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




reply via email to

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