Skip to content

Use resource ID instead of name#78

Merged
oxisto merged 1 commit intomainfrom
use-resource-id-to-jump
Nov 9, 2023
Merged

Use resource ID instead of name#78
oxisto merged 1 commit intomainfrom
use-resource-id-to-jump

Conversation

@oxisto
Copy link
Copy Markdown
Member

@oxisto oxisto commented Nov 9, 2023

No description provided.

@oxisto oxisto enabled auto-merge (squash) November 9, 2023 10:53
@oxisto oxisto force-pushed the use-resource-id-to-jump branch from 9e1f4c3 to 0472539 Compare November 9, 2023 10:54
@oxisto oxisto merged commit 3b4840a into main Nov 9, 2023
@oxisto oxisto deleted the use-resource-id-to-jump branch November 9, 2023 10:54
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