#!/bin/bash

# assuming the script run in $HOME...

source $HOME/web_updates_fn.sh

INCL_ALL=".*"

chk "https://bellard.org/" "$INCL_ALL"
chk "https://www-cs-faculty.stanford.edu/~knuth/news.html" "$INCL_ALL"
chk "https://arxiv.org/search/?query=sat+solver&searchtype=all&abstracts=show&order=-announced_date_first&size=50" "$INCL_ALL"
chk "https://arxiv.org/search/?query=smt+solver&searchtype=all&source=header" "$INCL_ALL"
chk "https://www.ioccc.org/" "$INCL_ALL"

cd web_updates
git add * > /dev/null
git commit -a -m"..." > /dev/null
cd ..