Skip to content

Conversation

@micedre
Copy link
Contributor

@micedre micedre commented Dec 11, 2025

Description of the change

When cloning a repository ending in .git (as is usually the case) the basename command returned the wrong folder to open as workspace. Using a correct basename should fix this

Checklist

  • Chart version bumped in Chart.yaml
  • Title of the pull request follows this pattern [name_of_the_chart] Descriptive title

When cloning a repository ending in .git (as is usually the case) the basename command returned the wrong folder to open as workspace. Using a correct [basename](https://www.man7.org/linux/man-pages/man1/basename.1.html) should fix this
@micedre micedre force-pushed the fix-open-as-workspace-folder branch from bab203f to 725512e Compare December 11, 2025 14:29
@ihiverlet ihiverlet merged commit 478f1a3 into InseeFrLab:main Dec 15, 2025
4 checks passed
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.

2 participants