post-merge CI triggering from GitHub