extract config into separate file, cleanup
do open pull requests and set github status
more clever handling of security token
fix wrong variable name in status update
allow posting a link
fix running PRs, better status (add url)
now we run PRs every day
update test.sh to create a summary logfile
fix compiler error
add link and text
fix rendering results.html
trim description for github status, otherwise the update may fail.