4 Commits (8dbaba6f960ab08055812abca4c0f2ed06195295)

Author	SHA1	Message	Date
Dave Tucker	00b5cc5aaf	chore: Disable mergify on dependabot PRs ... Merging via comment isn't possible. We could merge this automatically on green, however we'd prefer to use @dependabot merge or merge manually. Signed-off-by: Dave Tucker <dave@dtucker.co.uk>	3 months ago
Dave Tucker	f81d320142	chore: Fix Mergify configuration ... Fix paths and regexp for the new crate names and folders. Signed-off-by: Dave Tucker <dave@dtucker.co.uk>	1 year ago
Dave Tucker	ea8073793e	chore(aya-ebpf-macros): Rename bpf -> ebpf ... Signed-off-by: Dave Tucker <dave@dtucker.co.uk>	1 year ago
Dave Tucker	34d1d7a9d7	ci(Mergify): configuration update ... This does 3 things: - Automatically merges Dependabot PRs that pass CI - Labels all PRs 🙏 which was previously done manually for the release note generation - Assigns Alessandro to review any PR for which xtask/public-api/aya.txt has changed Signed-off-by: Dave Tucker <datucker@redhat.com>	2 years ago