Release v1.8.0: prod build fix (re-promote) #175
Reference in New Issue
Block a user
Delete Branch "development"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Re-promote after the v1.8.0 prod build failed on a missing :?-guarded
EXPORT_SIGN_KEYin the prod-deploy build job (#174). Carries just that one-line fix on top of the already-promoted v1.8.0 content. After merge: move the v1.8.0 tag to the new master HEAD + re-dispatch prod-deploy.