vamo a dejar esto normal
Some checks failed
build-and-deploy / filter (push) Successful in 2s
Sync to GitHub / sync (push) Failing after 2s
build-and-deploy / build (push) Successful in 13s
build-and-deploy / deploy (push) Successful in 15s

This commit is contained in:
2025-05-31 00:18:24 -06:00
parent ac939341a0
commit ca1e3f2952

View File

@@ -33,14 +33,8 @@ sync-to-github:
sync-to-gitea:
@echo "Synchronizing to Gitea..."
@if ! git remote | grep -q '^gitea$$'; then \
echo "Adding Gitea remote..."; \
git remote add gitea $(GITEA_REPO_URL); \
fi
git push gitea --all
git push gitea --tags
@echo "Synchronization to Gitea complete."
git fetch github
git merge github/main
# Declaramos el target como PHONY ya que no corresponde a un archivo real (opcional pero recomendado)