Merge pull request #5534 from galaxyproject/codespaces-config

more codespaces config
galaxyproject · Nov 13, 2024 · 28140ec · 28140ec
2 parents da75e7f + 297c154
commit 28140ec
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -95,6 +95,7 @@ serve-codespaces: codespace-clean bundle-install bundle-update
 
 codespace-clean:
 	rm -rf /workspaces/.codespaces/shared/editors/jetbrains;
+	rm -f /workspaces/training-material/.git/objects/pack/tmp_pack*
 .PHONY: codespace-clean
 
 serve-gitpod: bundle-install  ## run a server on a gitpod.io environment