ci: run tickgit after merging a PR in the devel branch
#7439
The logs for this run have expired and are no longer available.
Loading
tickgit after merging a PR in the devel branch
#7439