regent: redirecting grep to /dev/null
regent: redirecting grep to /dev/null

chuckatkins/legion,StanfordLegion/legion,sdalton1/legion,sdalton1/legion,StanfordLegion/legion,StanfordLegion/legion,chuckatkins/legion,sdalton1/legion,sdalton1/legion,StanfordLegion/legion,StanfordLegion/legion,chuckatkins/legion,sdalton1/legion,StanfordLegion/legion,chuckatkins/legion,chuckatkins/legion,chuckatkins/legion,StanfordLegion/legion,StanfordLegion/legion,chuckatkins/legion,sdalton1/legion