From 33835baabf28f1c9d4382cd8d79b7212d2c9d2e5 Mon Sep 17 00:00:00 2001
From: Brendan Forster <github@brendanforster.com>
Date: Sun, 9 Feb 2020 12:04:29 -0400
Subject: [PATCH] move sourcelink into new global tool setup

---
 .config/dotnet-tools.json | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 .config/dotnet-tools.json

diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
new file mode 100644
index 0000000000..5e9a36e70e
--- /dev/null
+++ b/.config/dotnet-tools.json
@@ -0,0 +1,12 @@
+{
+  "version": 1,
+  "isRoot": true,
+  "tools": {
+    "sourcelink": {
+      "version": "3.1.1",
+      "commands": [
+        "sourcelink"
+      ]
+    }
+  }
+}
\ No newline at end of file