Skip to content
Snippets Groups Projects
  1. Sep 19, 2017
  2. Aug 31, 2017
  3. Mar 30, 2017
  4. Mar 07, 2017
  5. Sep 27, 2012
    • Brad King's avatar
      Add 'git-gerrit-push' script · 341043cf
      Brad King authored
      Add a script implementing our standard "git gerrit-push" alias.  When
      invoked, first check that the current branch is a named topic.  Then
      fetch 'master' from the 'gerrit' remote repository so the local
      repository can compute a minimal pack to push.  Finally, push the topic
      to the 'gerrit' remote as "refs/for/master/$topic".
      341043cf
  6. Sep 10, 2012
  7. Mar 02, 2012
  8. Feb 09, 2012
  9. Feb 08, 2012
Loading