This file is indexed.

/usr/bin/git-archive-file is in git-extras 1.9.1-2.

This file is owned by root:root, with mode 0o755.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
#!/bin/bash

# extract current branch name
BRANCH=$(git name-rev HEAD 2> /dev/null | awk "{ print \$2 }")

# get name of the most top folder of current directory, used for the
# output filename
ARCHIVE_NAME=$(basename $(pwd))

if [[ $BRANCH = tags* ]]; then
	BRANCH=$(git describe)
	echo Building for tag \"$BRANCH\"
	FILENAME=$ARCHIVE_NAME.$BRANCH.zip
else
	echo Building archive on branch \"$BRANCH\"
	# get a version string, so archives will not be overwritten when creating
	# many of them
	VERSION=$(git describe --always --long)
	# if not on master append branch name into the filename
	if [ "$BRANCH" = "master" ]; then
		FILENAME=$ARCHIVE_NAME.$VERSION.zip
	else
		FILENAME=$ARCHIVE_NAME.$VERSION.$BRANCH.zip
	fi
fi

# combine path and filename
OUTPUT=$(pwd)/$FILENAME

# building archive
git archive --format zip --output $OUTPUT $BRANCH

# also display size of the resulting file
echo Saved to \"$FILENAME\" \(`du -h $OUTPUT | cut -f1`\)