This file is indexed.

/usr/share/mr/repo is in myrepos 1.20160123.

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

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
# Adds support for repo repositories.
# http://source.android.com/source/version-control.html

# To make mr use this file, add a line like this inside the [DEFAULT]
# section of your ~/.mrconfig
#include = cat /usr/share/mr/repo

repo_test = perl: -d "$ENV{MR_REPO}/.repo"
repo_diff = repo diff "$@"
repo_grep = repo grep "$@"
repo_status = repo status "$@"
repo_update = repo sync "$@"