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

keep version folder in search result link #955

Merged
merged 1 commit into from
May 27, 2022
Merged

Conversation

kepper
Copy link
Member

@kepper kepper commented May 4, 2022

If all goes well, this fixes music-encoding/music-encoding.github.io#331. Not easy to test locally, though ;-)

@github-actions github-actions bot added the Component: Utils changes to utils/**/* (assigned automatically) label May 4, 2022
@musicEnfanthen musicEnfanthen added this to 2022-05-27 ODD Friday in ODD Meetings May 24, 2022
@musicEnfanthen
Copy link
Member

Did not test locally either, but looks good to give it a try.

@lpugin lpugin merged commit d367925 into develop May 27, 2022
@musicEnfanthen musicEnfanthen deleted the fix-dev-search-results branch May 27, 2022 13:37
@musicEnfanthen
Copy link
Member

Seems to work now. Many thanks for the fix @kepper!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component: Utils changes to utils/**/* (assigned automatically)
Projects
No open projects
ODD Meetings
  
2022-05-27 ODD Friday
Development

Successfully merging this pull request may close these issues.

Guidelines: Search results link to nowhere
3 participants