Yep


On Mon, Mar 4, 2013 at 2:19 PM, sgilda <notifications@github.com> wrote:

> In CONTRIBUTING.md:
>
> >
> > -9. Browse to the <topic-branch-name> branch on your forked Git repository and [open a Pull Request](http://help.github.com/send-pull-requests/). Give it a clear title and description.
> > +        git push origin HEAD
> > +   _Note: The above command assumes your remote repository is named 'origin'. You can verify your forked remote repository name using the command `git remote -v`_.
> > +11. Browse to the <topic-branch-name> branch on your forked Git repository and [open a Pull Request](http://help.github.com/send-pull-requests/). Give it a clear title and description.
>
> Are you good with this then? Can I merge?
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/jboss-jdf/jboss-as-quickstart/pull/462/files#r3232569>
> .
>



-- 
Jason Porter
http://en.gravatar.com/lightguardjp