removing Thorsten from batchers team

Thorsten is transferring to Code Intel, so this removes him from Batch Changes
This commit is contained in:
Chris Pine 2021-12-17 09:07:00 -08:00 committed by GitHub
parent 443d2c55ce
commit d496a672de
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -13,4 +13,4 @@ jobs:
with:
github_token: ${{ secrets.github_token }}
body: |
Hey, @sourcegraph/batchers (@eseliger @mrnugget @LawnGnome @courier-new @adeola-ak @malomarrec @chrispine) - we have been mentioned. Let's take a look.
Hey, @sourcegraph/batchers (@eseliger @LawnGnome @courier-new @adeola-ak @malomarrec @chrispine) - we have been mentioned. Let's take a look.