<div dir="ltr">It's ok to use the current pull request. And yes, please squash the commits into one and fix the commit message (please read this page again, it's just been updated: <a href="https://github.com/erlang/otp/wiki/Writing-good-commit-messages">https://github.com/erlang/otp/wiki/Writing-good-commit-messages</a>)<div>
<br></div><div>Thanks</div><div>/siri</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">2014-03-24 16:14 GMT+01:00 Jean-Sébastien Pédron <span dir="ltr"><<a href="mailto:jean-sebastien.pedron@dumbbell.fr" target="_blank">jean-sebastien.pedron@dumbbell.fr</a>></span>:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">On <a href="tel:24.03.2014%2015" value="+12403201415">24.03.2014 15</a>:34, Henrik Nord wrote:<br>
> Now that you are adding to it, It would be nice if you could create your<br>
> own PR from your branch so that you can keep that up to date.<br>
<br>
</div>Hi!<br>
<br>
That's what I tried before replying but GitHub reuses the current pull<br>
request.<br>
<br>
I'm not used to work with pull requests. What would you suggest? Do you<br>
want me to amend the commits (maybe squash them into one) and improve<br>
the commit message at the same time?<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Jean-Sébastien Pédron<br>
<br>
</font></span></blockquote></div><br></div>