Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Exclude merge commits #426

Merged
merged 1 commit into from
Nov 3, 2023

Conversation

holly-cummins
Copy link
Collaborator

I've compared against the GitHub UI, and my results seem to line up, except for a few small variations that could be caused by slight differences in the edges of the query time:

GitHub results

image

My results

image

The results are different by 10 commits for Ladislav Thon, which I can't explain and am a bit worried about, but I think overall the data is looking basically fine.

Copy link

github-actions bot commented Nov 3, 2023

🙈 The PR is closed and the preview is expired.

@holly-cummins
Copy link
Collaborator Author

Merging, although a UI problem (perhaps introduced by #421?) means the community information and sponsor are missing from the UI.

@holly-cummins holly-cummins merged commit ca3f4ac into quarkusio:main Nov 3, 2023
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant