diff options
author | monojenkins <jo.shields+jenkins@xamarin.com> | 2020-02-13 16:16:45 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-13 16:16:45 +0300 |
commit | 778878e3364d50984987e49b02b63ab3b8a7d87e (patch) | |
tree | d1617d5a27f68e64110f0833f5607bc286518747 /.github | |
parent | 4fcb57e73b082c95c2de7d490eaa7b8ad4a017f2 (diff) |
Move offsets-tool into mono/tools (#18829)
Backporting this since we see errors during `pip install` on the Android Mono SDKs build on Linux and with this we're removing the call to pip (it wasn't needed).
Backport of #18783.
Co-authored-by: Alexander Köplinger <alex.koeplinger@outlook.com>
Diffstat (limited to '.github')
-rw-r--r-- | .github/CODEOWNERS | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 48d2993b4e3..0d8cde93d65 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -116,6 +116,8 @@ /mono/sgen @BrzVlad @lambdageek +/mono/tools/offsets-tool @lewurm @rolfbjarne + /mono/utils @vargaz @lewurm @lambdageek /mono/utils/atomic* @lewurm @vargaz /mono/utils/mono-hwcap* @lewurm @vargaz @@ -156,6 +158,5 @@ /tools @lambdageek @vargaz /tools/locale-builder @marek-safar @egorbo /tools/nuget-hash-extractor @marek-safar @radical @akoeplinger -/tools/offsets-tool @lewurm @rolfbjarne /tools/pedump @lambdageek @lewurm /tools/sgen @brzvlad @vargaz @naricc |