On Tue, Jun 15, 2010 at 5:27 AM, Brad King <span dir="ltr"><<a href="mailto:brad.king@kitware.com">brad.king@kitware.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<div class="im">Mathieu Malaterre wrote:<br>
> On Tue, Jun 15, 2010 at 8:23 AM, James Bigler <<a href="mailto:jamesbigler@gmail.com">jamesbigler@gmail.com</a>> wrote:<br>
</div><div class="im">>> Now, according to the wiki, I should also push this change into master,<br>
>> right?<br>
><br>
> Same question for me ? I tried pushing the exact same changes onto<br>
> master (after success on 'ext'), but now it fails with:<br>
><br>
> $ git push -v<br>
> Pushing to git@cmake.org:cmake.git<br>
> Total 0 (delta 0), reused 0 (delta 0)<br>
> ------------------------------------------------------------------------------<br>
> <a href="mailto:mathieu.malaterre@gmail.com">mathieu.malaterre@gmail.com</a> may not update master branch<br>
> ------------------------------------------------------------------------------<br>
<br>
</div>Only core developers can push to master.  We'll merge your topics.<br>
<font color="#888888"><br>
-Brad<br>
</font></blockquote></div><br>Do I have to ask someone to merge it, or will it be done without asking?<br><br>James<br>