|
|
| Author |
Message |
< Erlang patches mailing list ~ improve the 're' manpage by correcting typos and rewording |
| Guest |
 Posted: Fri Oct 29, 2010 6:32 am |
 |
|
|
Guest
|
Hi,
git fetch git://github.com/matthiasl/otp.git re-manpage-cleanup
I took a couple of passes through the manpage and fixed all the typos
I saw. I also shortened some sentences.
(Branch looks wonky because I just learned that 'git commit --amend'
doesn't work if you've already done a 'git push'. So I merged and pushed
again.)
Matt
________________________________________________________________
erlang-patches (at) erlang.org mailing list.
See http://www.erlang.org/faq.html
To unsubscribe; mailto:erlang-patches-unsubscribe@erlang.org
Post received from mailinglist |
|
|
| Back to top |
|
| Guest |
| Posted: Fri Oct 29, 2010 1:30 pm |
|
|
|
Guest
|
On Thu, Oct 28, 2010 at 11:22 AM, Matthias Lang <matthias@corelatus.se> wrote:
> Hi,
>
> git fetch git://github.com/matthiasl/otp.git re-manpage-cleanup
>
> I took a couple of passes through the manpage and fixed all the typos
> I saw. I also shortened some sentences.
>
> (Branch looks wonky because I just learned that 'git commit --amend'
> doesn't work if you've already done a 'git push'. So I merged and pushed
> again.)
If you do 'git commit --amend' you will have force the push
using the -f option.
Are you sure that you have pushed the correct branch?
The branch does not look wonky to me and I don't see
any merge commit made by you.
You should check 'pu' when I'll have pushed to make
sure that it has the expected version of your branch.
--
Björn Gustavsson, Erlang/OTP, Ericsson AB
________________________________________________________________
erlang-patches (at) erlang.org mailing list.
See http://www.erlang.org/faq.html
To unsubscribe; mailto:erlang-patches-unsubscribe@erlang.org
Post received from mailinglist |
|
|
| Back to top |
|
|
|
All times are GMT
|
|
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You cannot attach files in this forum
You cannot download files in this forum
|
|
|
Digg It
Del.icio.us
Reddit
Facebook
Stumble Upon
Technorati
