Skip to content

Instantly share code, notes, and snippets.

@jrolfs
Created May 1, 2021 19:22
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jrolfs/db73bb9759519ff38ddabf9bb7b3d3bc to your computer and use it in GitHub Desktop.
Save jrolfs/db73bb9759519ff38ddabf9bb7b3d3bc to your computer and use it in GitHub Desktop.
#!/usr/bin/env bash
for repository in $(ls -1); do
if [ -d $repository ]; then
(
cd $repository
if [ $(git cat-file -t $1 2>/dev/null) ]; then
echo $(basename $PWD)
fi
)
fi
done
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment