Updates from May, 2015 Toggle Comment Threads | Keyboard Shortcuts
-
gio
-
gio
GitLab: Continuous Integration at ci.archive.org
GitLab is shipped with a Continuous Integration Server, our instance is reachable at https://ci.archive.org.
Adding a gitlab project it is possible to run jobs on specialized nodes called runners.
At the moment we have only one runner, configured to execute the jobs in a docker container, with Ubuntu.14.04, python, php5. The docker image is build using this Dockerfile.
for sys-admins: -
gio
Git: how to split a repo
You can use this command to split out a dir from a repo
git filter-branch --subdirectory-filter folder_to_split_out/ -- master
If you want tor remove a file or a folder from a repo:
git filter-branch --index-filter "git rm -r --cached --ignore-unmatch file_to_remove" --prune-empty
