⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content

Merge branch 'develop' into develop

2deb10e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Prevent people from pinging @channel #387

Merge branch 'develop' into develop
2deb10e
Select commit
Loading
Failed to load commit list.
lint (3.12)
succeeded Jan 16, 2026 in 1m 11s