Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-02 21:13:39 +01:00
Code Issues Projects Releases Packages Wiki Activity

Shallow clones

Browse source
This commit is contained in:
Simon Sapin 2018-09-16 18:14:22 +02:00
parent 12442d43ee
commit 7f3b5c86d1
3 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
decisionlib.py
View file

@ -122,7 +122,7 @@ class DecisionTask:
env["GITHUB_EVENT_CLONE_URL"] = clone_url
command = """
git clone $GITHUB_EVENT_CLONE_URL repo
git clone --depth 1 $GITHUB_EVENT_CLONE_URL repo
cd repo
git checkout $GITHUB_EVENT_COMMIT_SHA
""" + command