chore: stop rsyncing old proceedings (#4099)

* chore: stop rsyncing old proceedings

* Even fewer things
This commit is contained in:
Lars Eggert 2022-06-20 17:41:13 +03:00 committed by GitHub
parent 698f031b7f
commit 21c89e6dcc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -37,21 +37,33 @@ EXCLUDE="$(mktemp)"
cat << EOF > "$EXCLUDE"
*#
*%
*.1
*.cgi
*.diff
*.doc
*.exe
*.html
*.json
*.mib
*.new
*.p7s
*.pdf
*.ps
*.tar
*.utf8
*.xml
*.Z
*.zip
*~
/09nov
/10[0-9]
/[0-9][0-9]
/bcp
/beta
/fyi
/ien
/inline-errata
/interim-20[01][0-9]-*
/pending-errata
/prerelease
/std