Skip to content
Unverified Commit df768dd3 authored by Benjamin Parisel's avatar Benjamin Parisel Committed by GitHub
Browse files

chore(ci): Push tag to public repository (#39)

Used action to release is not maintained anymore. So I switch for another release-action
To push the tag on the public repository, we use a remote that targets the public repository.

As we use a self-hosted runner, we don't get a fresh install for each run. To avoid Github error Remote already exist when we adding a remote, we need to use this command line:

git config remote.remoteName.url >&- || git remote add remoteName https://github.com/owner/repo.git
parent 19b522ee
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment