This file is indexed.

/usr/share/gitolite3/commands/sudo is in gitolite3 3.6.4-1.

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
#!/bin/sh

# Usage:    ssh git@host sudo <user> <command> <arguments>
#
# Let super-user run commands as any other user.  "Super-user" is defined as
# "have write access to the gitolite-admin repo".

die() { echo "$@" >&2; exit 1; }
usage() { perl -lne 'print substr($_, 2) if /^# Usage/../^$/' < $0; exit 1; }
[ -z "$2" ] && usage
[ "$1" = "-h" ] && usage
[ -z "$GL_USER" ] && die GL_USER not set

gitolite access -q gitolite-admin $GL_USER W any || die "You are not authorised"

user="$1"; shift
cmd="$1"; shift

# switch user
GL_USER="$user"

# figure out if the command is allowed from a remote user
gitolite query-rc -q COMMANDS $cmd || die "Command '$cmd' not allowed"
gitolite $cmd "$@"