On Tue, Jun 15, 2010 at 5:27 AM, Brad King <brad.k...@kitware.com> wrote:
> Mathieu Malaterre wrote: > > On Tue, Jun 15, 2010 at 8:23 AM, James Bigler <jamesbig...@gmail.com> > wrote: > >> Now, according to the wiki, I should also push this change into master, > >> right? > > > > Same question for me ? I tried pushing the exact same changes onto > > master (after success on 'ext'), but now it fails with: > > > > $ git push -v > > Pushing to g...@cmake.org:cmake.git > > Total 0 (delta 0), reused 0 (delta 0) > > > ------------------------------------------------------------------------------ > > mathieu.malate...@gmail.com may not update master branch > > > ------------------------------------------------------------------------------ > > Only core developers can push to master. We'll merge your topics. > > -Brad > Do I have to ask someone to merge it, or will it be done without asking? James
_______________________________________________ cmake-developers mailing list cmake-developers@cmake.org http://public.kitware.com/cgi-bin/mailman/listinfo/cmake-developers