Fixed github.com repo URL case.

This commit is contained in:
Fabio Manganiello 2024-07-27 15:38:41 +02:00
parent 598de6b91a
commit 4c80e6fd34
Signed by untrusted user: blacklight
GPG key ID: D90FBA7F76362774
2 changed files with 3 additions and 3 deletions

View file

@ -6,9 +6,9 @@
ssh-keyscan github.com >> ~/.ssh/known_hosts 2>/dev/null
# Clone the repository
git remote add github git@github.com:/BlackLight/platypush.git
git remote add github git@github.com:/blacklight/platypush.git
git pull --rebase github "$(git branch | head -1 | awk '{print $2}')" || echo "No such branch on Github"
# Push the changes to the GitHub mirror
git push --all -v github
git push --tags
git push --tags -v github

View file

@ -29,7 +29,7 @@ class BaseBuilder(ABC):
and :module:`platypush.platydock` modules/scripts.
"""
REPO_URL: str = 'https://github.com/BlackLight/platypush.git'
REPO_URL: str = 'https://github.com/blacklight/platypush.git'
"""
We use the Github URL here rather than the self-hosted Gitea URL to prevent
too many requests to the Gitea server.