Do not pipe into `grep -q`, because that stops reading as soon as a
[arvados.git] / tools / keep-exercise / .gitignore
2019-03-14 Peter AmstutzAdd 'sdk/java-v2/' from commit '55f103e336ca9fb8bf1720d...
2016-03-11 Tom CleggAdd 'build/' from commit '555b039609a3c8700c27767c255fd...
2016-03-01 Peter AmstutzAdd 'tools/arvbox/' from commit 'd3d368758db1f4a9fa5b89...
2015-12-11 Peter AmstutzMerge branch 'master' into 7454-azure-custom-data
2015-10-26 Brett SmithMerge branch 'pr/25'
2015-10-21 Bryan CoscaMerge branch '7015-update-user-guide'
2015-10-20 Brett SmithMerge branch 'pr/28'
2015-10-17 Tom CleggMerge branch '7173-jessie'
2015-10-16 Peter AmstutzMerge branch '6321-slurm-oserror' closes #6321
2015-10-15 Tom CleggMerge branch '7159-keepexercise' refs #7159
2015-10-15 Tom Clegg7159: Add keep-exercise