This repository has been archived by the owner. It is now read-only.
Please sign in to comment.
travis: Fix push to GitHub
Commit 9cdc425 (travis: Fail build if unable to push to DockerHub) moved the logic for pushing the dev tag to GitHub from the `after_success` target to `deploy`. For some reason, this resulted in the following error: ``` remote: Not Found fatal: repository 'https://[secure]@github.com/kelda/kelda/' not found ``` Adding `.git` to the repository URL fixes this error.
- Loading branch information...