Skip to content

Instantly share code, notes, and snippets.

@mauricioprado00

mauricioprado00/git-pushfull.sh

Last active January 3, 2020 02:18
Show Gist options
  • Save mauricioprado00/dc15a4142a6b216e0940da0086f8a244 to your computer and use it in GitHub Desktop.
Save mauricioprado00/dc15a4142a6b216e0940da0086f8a244 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. mauricioprado00 revised this gist Jan 3, 2020. 1 changed file with 4 additions and 3 deletions.
    7 changes: 4 additions & 3 deletions git-pushfull.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -1,9 +1,10 @@
    #!/usr/bin/env bash

    if [ -z "$1" ]; then
    if [[ -z "$1" || -z "$2" ]]; then
    echo usage:
    echo " git pushfull 'remotename'"
    echo " git pushfull <remotename_orig> <remotename_dest>"

    exit 1
    fi

    git push "$1" refs/remotes/origin/*:refs/heads/*
    git push "$2" refs/remotes/$1/*:refs/heads/*
  2. mauricioprado00 created this gist Dec 19, 2019.
    9 changes: 9 additions & 0 deletions git-pushfull.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,9 @@
    #!/usr/bin/env bash

    if [ -z "$1" ]; then
    echo usage:
    echo " git pushfull 'remotename'"
    exit 1
    fi

    git push "$1" refs/remotes/origin/*:refs/heads/*