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

Skeleton of mint command #764

Draft
wants to merge 5 commits into
base: master
Choose a base branch
from
Draft

Skeleton of mint command #764

wants to merge 5 commits into from

Conversation

balhoff
Copy link
Contributor

@balhoff balhoff commented Nov 6, 2020

Resolves [#ISSUE, resolves #ISSUE]

  • docs/ have been added/updated
  • tests have been added/updated
  • mvn verify says all tests pass
  • mvn site says all JavaDocs correct
  • CHANGELOG.md has been updated

For #763.

@dosumis
Copy link

dosumis commented Jul 19, 2021

Could this be fixed soon. It provides the best solution we can think of for avoiding trivial clashes due to consecutive IDs.

@jamesaoverton
Copy link
Member

@balhoff Are you still interested in implementing this command?

@balhoff
Copy link
Contributor Author

balhoff commented Jul 26, 2021

@balhoff Are you still interested in implementing this command?

I am; it just fell by the wayside this spring. I may be able to come back to this in mid-August.

@jamesaoverton
Copy link
Member

@balhoff Are you still interested in this? I'm trying to clean up old PRs.

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.

3 participants