4268c82898
Use the 7 first characters of the 40-chars long SHAs for shorter/cleaner URLs. The collision probability is extremely low (since all SHAs are further "namespaced" under the corresponding PR). In case of a collision, the second PR will not be deployed, in order to avoid overwriting the original build. (This is a design decision to keep the implementation simple. It can be changed later if necessary.) |
||
|---|---|---|
| .. | ||
| clean-up | ||
| common | ||
| upload-server | ||
| verify-setup | ||