Skip to content

Instantly share code, notes, and snippets.

@monkpit

monkpit/refreshSandbox.sh

Created March 9, 2022 16:12
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save monkpit/b35b276436f8258ba485a6f850f42eae to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save monkpit/b35b276436f8258ba485a6f850f42eae to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. monkpit created this gist Mar 9, 2022.
    5 changes: 5 additions & 0 deletions refreshSandbox.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,5 @@
    #! /usr/bin/env bash

    # Replace "*" as needed

    for d in *; do (cd $d; git push -f) &; done; wait