Re: post-merge CI triggering from GitHub