[tor-commits] [tpo/develop] Remove isra

[gus at torproject.org]

commit 32d22cf94407f114061cd1c9200d86d054307c59
Author: gus <gus at torproject.org>
Date:   Fri Apr 3 00:03:24 2020 -0400

    Remove isra
---
 content/about/people/isra/contents.lr | 15 ---------------
 1 file changed, 15 deletions(-)

diff --git a/content/about/people/isra/contents.lr b/content/about/people/isra/contents.lr
deleted file mode 100644
index e032204a..00000000
--- a/content/about/people/isra/contents.lr
+++ /dev/null
@@ -1,15 +0,0 @@
-_model: person
----
-_hidden: yes
----
-role:core
----
-name: isra
----
-nickname: isra
----
-gpg: https://db.torproject.org/fetchkey.cgi?fingerprint=53927C25AAF14FBBCAFABDA3A456E2CE540BFC0E
----
-description:
-
-Rewrote the [GetTor](https://gettor.torproject.org/) service.