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

upgrqade hugegraph-common version to 1.0.1 #453

Closed
wants to merge 2 commits into from

Conversation

z7658329
Copy link
Member

@z7658329 z7658329 commented Apr 22, 2023

also see 2202

@github-actions
Copy link

Due to the lack of activity, the current pr is marked as stale and will be closed after 180 days, any update will remove the stale label

@github-actions
Copy link

Due to the lack of activity, the current pr is marked as stale and will be closed after 180 days, any update will remove the stale label

@imbajin
Copy link
Member

imbajin commented Aug 2, 2023

we could handle the stage repo problem in settings.xml and merge this PR for users

@@ -37,7 +37,7 @@
</description>

<properties>
<hugegraph.common.version>1.0.0</hugegraph.common.version>
<hugegraph.common.version>1.0.1</hugegraph.common.version>
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

we need also update the revision in toolchain to 1.0.1 to keep consistent

@github-actions
Copy link

github-actions bot commented Sep 1, 2023

Due to the lack of activity, the current pr is marked as stale and will be closed after 180 days, any update will remove the stale label

@imbajin
Copy link
Member

imbajin commented Sep 2, 2023

@msgui could address this pr after server merged

@github-actions github-actions bot removed the inactive label Sep 2, 2023
@github-actions
Copy link

github-actions bot commented Oct 2, 2023

Due to the lack of activity, the current pr is marked as stale and will be closed after 180 days, any update will remove the stale label

@imbajin
Copy link
Member

imbajin commented Dec 11, 2023

closed by #538

@imbajin imbajin closed this Dec 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

3 participants