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.

Sign up for GitHub

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

Jump to bottom

Track number of commits #647

Merged
merged 2 commits into from
Oct 13, 2022
Merged

Track number of commits #647

merged 2 commits into from
Oct 13, 2022

Conversation

casey
Copy link
Collaborator

@casey casey commented Oct 12, 2022

No description provided.

@casey casey changed the title Log commits Track number of commits Oct 13, 2022
@casey casey marked this pull request as ready for review October 13, 2022 02:45
@casey casey requested a review from raphjaph October 13, 2022 02:45
@casey
Copy link
Collaborator Author

casey commented Oct 13, 2022

@raphjaph This originally logged to the database, but I decided against doing that. However in the process, I realized that we were sometimes committing when we didn't need to. This changes things to only commit when we need to, and furthermore to track the number of commits we've made.

@casey casey merged commit ce3d0c9 into master Oct 13, 2022
@casey casey deleted the log branch October 13, 2022 17:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@raphjaph raphjaph raphjaph approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@casey @raphjaph