Update to new versions

Author: mohamed-barakat

Project.toml

@@ -8,8 +8,8 @@ authors = [
 	"Fabian Zickgraf <f.zickgraf@dashdos.com>"
 ]
 
-# Transpiled from GAP's MonoidalCategories v2025.08-02
-version = "0.2.12"
+# Transpiled from GAP's MonoidalCategories v2025.12-01
+version = "0.2.13"
 
 [deps]
 CAP = "d64df2ee-d2bb-46f4-8cbc-f03bb858f8cb"

makefile

@@ -22,15 +22,15 @@ gen-full:
 	./.generate.sh -e gen_full=1
 
 git-commit:
-	@if [ -n "$$(git diff .)" ]; then \
-	echo "Committing changes ..."; \
+	@if git diff Project.toml | grep -q '^+version ='; then \
+	echo -e "\033[32mCommitting changes in \"MonoidalCategories\"\033[0m"; \
 	git add .; \
 	git commit \
 		-m "Update to GAP's $$(grep "# Transpiled from GAP's" "Project.toml" | cut -d ' ' -f 5-)" \
 		-m "Bump Version to v$$(grep "version = " "Project.toml" | cut -d '"' -f 2)" \
 		; \
 	else \
-		echo "No changes to commit."; \
+		echo -e "\033[33mNo changes in \"MonoidalCategories\" to commit or no version bump detected.\033[0m"; \
 	fi
 
 codecov: