Sometimes when you make slight changes to fix a build, it would be clearer to re-run the existing ci_launcher build with the same gist instead of creating a new Gist - and even better to replace the badges in the GitHub comment (optionally) rather than creating a new comment.
Sometimes when you make slight changes to fix a build, it would be clearer to re-run the existing
ci_launcherbuild with the same gist instead of creating a new Gist - and even better to replace the badges in the GitHub comment (optionally) rather than creating a new comment.