- From: Jesse Wright via GitHub <noreply@w3.org>
- Date: Fri, 13 Jun 2025 12:18:09 +0000
- To: public-shacl@w3.org
jeswr has just created a new issue for https://github.com/w3c/data-shapes: == admin: Branch protections requiring up-to-date PRs before merging == @HolgerKnublauch @ajnelson-nist @PapoutsoglouE if you have permission to do so I strongly encourage you to enable branch protections which require PRs to be up-to-date to merge. These settings should be available at https://github.com/w3c/data-shapes/settings/branches This prevents the #402 issue recurring. Please view or discuss this issue at https://github.com/w3c/data-shapes/issues/406 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 13 June 2025 12:18:09 UTC