Wiki: Everything is Possible

Rarely used git commands

git --work-tree=${OUTPUT_DIRECTORY} --git-dir=${REPOSITORY_DIRECTORY}/.git checkout -f

git archive --prefix="${result_directory}/" -o ${result_archive}.tar.gz HEAD