This repository was archived by the owner on Jun 20, 2019. It is now read-only.
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Sorry, we had to truncate this directory to 1,000 files. 18,638 entries were omitted from the list. | ||||
Repository files navigation
A repository for the CI logs of Project Everest. Purging this repository: git checkout --orphan tmp ls | gsed 's/\(.*-\([0-9]\+\)\..*\)/\2 \1/' | sort -g | ghead -n -400 | cut -f 2 -d ' ' | xargs git rm -rf # RE-ADD README HERE! git commit -am "Forget anything but the last 400 commits (approximate)" git checkout master git reset --hard tmp git push -f origin master