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

[v1.0] fix update mkdocs #4102

Merged
merged 1 commit into from
Nov 15, 2023
Merged

[v1.0] fix update mkdocs #4102

merged 1 commit into from
Nov 15, 2023

Conversation

janusgraph-automations
Copy link

Backport

This will backport the following commits from master to v1.0:

Questions ?

Please refer to the Backport tool documentation

Signed-off-by: Jan Jansen <[email protected]>
(cherry picked from commit 212590b)
@janusgraph-automations janusgraph-automations mentioned this pull request Nov 14, 2023
9 tasks
@farodin91 farodin91 added this to the Release v1.0.1 milestone Nov 14, 2023
@farodin91 farodin91 merged commit 93394de into v1.0 Nov 15, 2023
274 of 275 checks passed
@farodin91 farodin91 deleted the backport/v1.0/pr-4098 branch November 15, 2023 14:06
@farodin91
Copy link
Contributor

💚 All backports created successfully

Status Branch Result
v0.6

Note: Successful backport PRs will be merged automatically after passing CI.

Questions ?

Please refer to the Backport tool documentation

@farodin91
Copy link
Contributor

💚 All backports created successfully

Status Branch Result
v0.5
v0.4
v0.3
v0.2

Note: Successful backport PRs will be merged automatically after passing CI.

Questions ?

Please refer to the Backport tool documentation

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants