Skip to content

Commit

Permalink
don't update contributors list on the webserver (#396)
Browse files Browse the repository at this point in the history
  • Loading branch information
fingolfin authored Dec 4, 2024
1 parent be45c64 commit da5c304
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions etc/update.sh
Original file line number Diff line number Diff line change
Expand Up @@ -20,8 +20,6 @@ curl -SsL --retry 5 $statusurl | jq '.["jobs"][1:] | .[] | .name+":"+.conclusion
# get tutorial last modified dates
cd etc
python3 update-dates.py
# update contributors list
python3 update-contributors.py
cd ..
# run jekyll
bundle exec jekyll build --config _config.yml,_config_production.yml -d /srv/www/www-mathe-oscar/data/http

0 comments on commit da5c304

Please # to comment.