Rename repo

This commit is contained in:
curben 2018-10-10 15:14:59 +10:30
parent 9dc8c25de2
commit 3dcc053d0c
1 changed files with 1 additions and 1 deletions

View File

@ -28,7 +28,7 @@ deploy:
- ssh git@gitlab.com
# Shallow cloning for faster cloning
- git clone --depth 3 git@gitlab.com:curben/urlhaus.git build
- git clone --depth 3 git@gitlab.com:curben/urlhaus-filter.git build
# Change to the downloaded repo directory
- cd build