Hi, I have refactored how planet.sympy.org is updated using these PR and repositories:
https://github.com/sympy/planet-sympy/pull/46 https://github.com/sympy/planet-sympy/pull/47 https://gitlab.com/certik/planet-sympy-updater It's described in the README's how it works, but roughly, the https://github.com/sympy/planet-sympy repo creates a docker image on docker hub, and the https://gitlab.com/certik/planet-sympy-updater then uses GitLab-CI to pull this docker image and run it. This CI job is then triggered every 20 minutes by a cron job installed at https://www.easycron.com. Everything is public, e.g. you can watch all the updates here: https://gitlab.com/certik/planet-sympy-updater/pipelines You can click on it, see the log, and so on. If something breaks, you can see it there, and you can submit PRs to fix it. The only thing that is currently not visible online is the actual cron job, but that is just a very simple webhook of the form: curl -X POST \ -F token=TOKEN \ -F ref=REF_NAME \ https://gitlab.com/api/v3/projects/1525395/trigger/builds that is executed every 20 minutes by the https://www.easycron.com website. If that fails, you will notice that the CI jobs are not being triggered every 20 minutes at: https://gitlab.com/certik/planet-sympy-updater/pipelines, so that's easy to spot/maintain. Ondrej -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CADDwiVAH_nwOE-Ye%2BUGxHgJ42oSQp1WWC6J7LZbga6QegAAFgQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
