-
Notifications
You must be signed in to change notification settings - Fork 19
Fix 'edit on github' button #352
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
Fix 'edit on github' button #352
Conversation
Removing quotations around the source dir fixes the links
License Check Results🚀 The license check job ran with the Bazel command: bazel run //src:license-checkStatus: Click to expand output |
|
wont this fail with spaces etc? |
Which demon has spaces in folder names? But yes, this could be an issue. I move it to draft meanwhile |
|
The created documentation from the pull request is available at: docu-html |
AlexanderLanin
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
black space magic 😆


📌 Description
Removes quotes around the name of the document source (e.g 'docs' => docs) to fix the
edit on githublinkFixes: #348
🚨 Impact Analysis
✅ Checklist