So bots moved from cockpit-project/cockpit to the separate github
How this impacts working on cockpit:
- As bots isn't present any more in cockpit, we added a make target
for convenience: `make bots`. `autogen.sh` will also provide `bots/`.
- Sadly this also means that any open PRs against
cockpit-project/cockpit will need to be rebased on top of master, as
the rebase during testing will fail because of conflicts in `bots/`.
- Projects like starter-kit, cockpit-ostree, cockpit-podman, and
cockpit-composer will continue to work as before. We fixed the
Makefiles to get `bots/` from the new project, all PRs landed already
except for cockpit-composer. If you work on any of these projects, do
`rm -r bots && git pull && make bots`.
Sorry for any inconvenience caused. If you see any funny business
don't hesitate to ping me (Gundersanne on irc) in the #cockpit