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

Automate logs to GitHub comment #154

Merged
merged 1 commit into from
Oct 1, 2019
Merged

Automate logs to GitHub comment #154

merged 1 commit into from
Oct 1, 2019

Conversation

jonallured
Copy link
Owner

This is part of #118 and gets me one step closer to automating the boring parts of sharpening my machines.

@jonallured jonallured merged commit 87176d4 into master Oct 1, 2019
@jonallured jonallured deleted the more-sharpening branch October 1, 2019 15:20
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