robot icon indicating copy to clipboard operation
robot copied to clipboard

Published 20 hours ago • verified publisher icon ontodev

Skeleton of mint command

Open balhoff opened this issue 5 years ago • 5 comments
trafficstars

Resolves [#ISSUE, resolves #ISSUE]

  • [x] 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.

balhoff avatar Nov 06 '20 18:11 balhoff

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

dosumis avatar Jul 19 '21 16:07 dosumis

@balhoff Are you still interested in implementing this command?

jamesaoverton avatar Jul 26 '21 13:07 jamesaoverton

@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.

balhoff avatar Jul 26 '21 14:07 balhoff

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

jamesaoverton avatar Nov 28 '23 20:11 jamesaoverton