end

> If you push to the same branch the pull request is automatically updated.
>

I didn't know that. Thanks

(and pushed)