Some URLs end in /index

gitpod-io / gitpod-qa

GNU General Public License v3.0

6 stars 3 forks source link

Closed ghostdevv closed 1 year ago

ghostdevv commented 1 year ago

To fix I need to edit the logic that turns file names into urls

ghostdevv commented 1 year ago

Added a temporary fix in the bot to avoid rebuilding the search index