#!/bin/bash git_rm_repo () { KEYWORD=$1; git filter-repo --path-glob "$KEYWORD" --invert-paths } git_rm_repo "$@"