Skip to content

Commit a865294

Browse files
authored
Remove git-checkout from lint.sh
Unneeded since 9db8afd
1 parent 0ae6686 commit a865294

File tree

1 file changed

+0
-3
lines changed

1 file changed

+0
-3
lines changed

scripts/lint.sh

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -32,9 +32,6 @@ set +e
3232
sphinx-lint 2> $(realpath "$rootdir/logs/sphinxlint.txt")
3333
set -e
3434

35-
# Undo changes to undo literal blocks disabling
36-
git checkout .
37-
3835
cd "$rootdir"
3936

4037
# Check of logfile is empty

0 commit comments

Comments
 (0)