Integrated: bots: add census bot

Erik Helin ehelin at
Sat Sep 5 12:30:26 UTC 2020

On Sat, 5 Sep 2020 11:35:33 GMT, Erik Helin <ehelin at> wrote:

> HI all,
> please review this patch that adds a census syncing bot.
> Thanks,
> Erik

This pull request has now been integrated.

Changeset: 3ff5943a
Author:    Erik Helin <ehelin at>
Stats:     287 lines in 7 files changed: 0 ins; 287 del; 0 mod

bots: add census bot

Reviewed-by: rwestberg



More information about the skara-dev mailing list