Removed all mentions of "please" from docs and messages

Signed-off-by: Grace Choi <gracechoi@utexas.edu>
Signed-off-by: Pranjal Rai <pranjalrai@utexas.edu>
Signed-off-by: Sebastiaan van Stijn <github@gone.nl>
This commit is contained in:
Grace Choi
2024-04-26 13:16:51 -05:00
committed by Sebastiaan van Stijn
parent 0022fe7111
commit e06ef800fc
42 changed files with 58 additions and 57 deletions

View File

@ -18,7 +18,7 @@ git add -A
cp -rf /out/* .
diff=$(git status --porcelain -- AUTHORS)
if [ -n "$diff" ]; then
echo >&2 'ERROR: Authors result differs. Please update with "make -f docker.Makefile authors"'
echo >&2 'ERROR: Authors result differs. Update with "make -f docker.Makefile authors"'
echo "$diff"
exit 1
fi