I thought that was a bug in the cron script. Only after a while I realised that I had done "git push" instead of "git svn dcommit", because I confused myself into thinking the cron script would fetch from git and commit to svn rather than the reverse. Getting old :/ Then I temporarily mucked up the branch on github some more before getting it right. Force-pushed, and hopefully the cron job will recover without some manual "git reset" or "git svn reset".... except I just got an email for a commit that I overwrote, so maybe not.
So then I updated ~/src/ohr-web from svn on the server: $ svn up Updating '.': G ohrstable.sh A update_releases.py U ansible/ohrwiki.yml U ansible/ohrwiki_data/LocalSettings.php.j2 U ansible/ohrwiki_data/mediawiki-spamcallback.php U cron/git-mail.sh Updated to revision 14073. Oh no! I was aware there was a small change to ohrstable.sh, which merged fine, but I did not realise that it was behind! Before I updated, "svn info" had shown: Revision: 13618 Node Kind: directory Schedule: normal Last Changed Author: james Last Changed Rev: 13603 Last Changed Date: 2024-10-28 06:34:17 -0700 (Mon, 28 Oct 2024) however it doesn't appear it was actually on r13618, because there was no change to mirror/slimesald/gamedump.php. So I'm quite confused. Sorry James, I don't know what effect this is going to have and whether it will break something. Also, while working on this script I noticed there were 6 spurious Windows build files in the archive directory named "2025-08-10-kaleidophone" (not +1), which I deleted. I also noticed some of the "2025-08-04-kaleidophone" files have an mtime of 2025-08-10 so I downloaded one to check it really is kaleidophone and not kaleidophone+1. On Sun, 17 Aug 2025 at 19:51, cron--- via Ohrrpgce < [email protected]> wrote: > > https://github.com/ohrrpgce/ohrrpgce/commit/843bd5fedac6c67aa13e5de76f30b1456b324e69 > Author: Ralph Versteegen <[email protected]> > Date: Sun Aug 17 19:43:26 2025 +1200 > > Wrote update_releases.py to generate or update releases.txt > > For convience, also invoke it from ohrstable.sh > > ohrstable.sh | 5 +++ > update_releases.py | 109 > +++++++++++++++++++++++++++++++++++++++++++++++++++++ > 2 files changed, 114 insertions(+) > > _______________________________________________ > Ohrrpgce mailing list > [email protected] > http://lists.motherhamster.org/listinfo.cgi/ohrrpgce-motherhamster.org >
_______________________________________________ Ohrrpgce mailing list [email protected] http://lists.motherhamster.org/listinfo.cgi/ohrrpgce-motherhamster.org
