daniel5151
commented
2 years ago @jeanthom heads up - you might want to double-check your local hit repo's config.user settings, since you're pushing commits that aren't actually tied to your GitHub profile.
Maybe that's on purpose tho (I know some people do that), but if not, thought I'd mention it :)
Run Clippy in GitHub Actions to identify potential issues.