You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
when a TEI release is created the TEIGarage Docker image needs to pick up the new Stylesheets and Source.
@anneferger and I discussed the following workflow:
a TEI release triggers a new git tag with an incremented minor version number (this could be done via a GitHub action in the TEI repo; otherwise manually)
the commit message of the tagging must start with "TEI P5 Release"
a Github action in the TEIGarage repo listens on refs/tags and the above prefix, finally building the Docker image with the "latest" and the version tag
The text was updated successfully, but these errors were encountered:
when a TEI release is created the TEIGarage Docker image needs to pick up the new Stylesheets and Source.
@anneferger and I discussed the following workflow:
refs/tags
and the above prefix, finally building the Docker image with the "latest" and the version tagThe text was updated successfully, but these errors were encountered: