Repository navigation
Answered by
i-just
Mar 25, 2026
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment

That’s a good idea, thanks! I raised a PR for this.