Must've been removed by accident.
Signed-off-by: Anirudh Oppiliappan anirudh@tangled.sh
Must've been removed by accident.
Signed-off-by: Anirudh Oppiliappan anirudh@tangled.sh
Must've been removed by accident.
Signed-off-by: Anirudh Oppiliappan <anirudh@tangled.sh>
Must've been removed by accident. Switch to debug logging for record
rejection messages.
Signed-off-by: Anirudh Oppiliappan <anirudh@tangled.sh>
lgtm, thanks!
hmm, maybe we should figure out why the did filter isn't actually working (https://discord.com/channels/1361963801993285692/1361991850327674932/1404909185338179750)?
but we do do this all dids check when processing PRs soooo
closing since the actual bug is fixed
this works, but why do we need this?