Use git-scripts in addition to plume-scripts#268

aosen-xiong wants to merge 2 commits intomasteropprop/checker-framework:masterfrom

git-scriptsopprop/checker-framework:git-scriptsCopy head branch name to clipboard