From 12f591e702127a83e3b59600ea3db6a987fa1e4b Mon Sep 17 00:00:00 2001 From: ivanov Date: Wed, 28 Aug 2024 18:29:08 +0000 Subject: [PATCH] deploy: 95a7cc8117f4428f1947538d244054f2f99897b3 --- .buildinfo | 2 +- _sources/people.md | 1 - people.html | 1 - 3 files changed, 1 insertion(+), 3 deletions(-) diff --git a/.buildinfo b/.buildinfo index bb91280..bca2e3e 100644 --- a/.buildinfo +++ b/.buildinfo @@ -1,4 +1,4 @@ # Sphinx build info version 1 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done. -config: efb3c65a577270f1d0173e93112dc0b0 +config: 0beb31c79069c4a1cb88eb4a3da73c9a tags: 645f666f9bcd5a90fca523b33c5a78b7 diff --git a/_sources/people.md b/_sources/people.md index b75ed1d..3360025 100644 --- a/_sources/people.md +++ b/_sources/people.md @@ -63,7 +63,6 @@ Alphabetical by first name, names are followed by GitHub usernames. ### [Jupyter Media Strategy Working Group](charters/MediaStrategyCharter.md) - Ana Ruvalcaba, [@Ruv7](https://github.com/Ruv7) -- Steven Silvester, [@blink1073](https://github.com/blink1073) - Andrii Ieroshenko, [@andrii-i](https://github.com/andrii-i) - Jacob Diamond-Reivich, [@jake-stack](https://github.com/jake-stack) diff --git a/people.html b/people.html index d278285..a076ff2 100644 --- a/people.html +++ b/people.html @@ -540,7 +540,6 @@

Jupyter Media Strategy Working Group#