Release Tracking, Contributor Directory & User Management

New Features

• Release Publishing — Admins can now create and publish GitHub releases for any tracked repository from the Repositories page, with a suggested next tag and a summary of what changed since the last release.
• Release History & CI Tracking — Each repository now displays its full release history alongside per-tag pipeline outcomes, showing exactly what CI did with each published release.
• Contributor Directory — A new admin page links code contributors to their Slack accounts across tracked repositories, enabling automated notifications to reach the right person.
• Repository Search — The Add Repository dialog now filters repositories by name as you type, making it faster to find and link repositories.
• User Management — Super Admins can now deactivate, reactivate, and edit users directly without requiring account deletion.

Bug Fixes

• Page Rendering Restored — Resolves a production issue where the application served an empty client shell instead of server-rendered markup, causing login flows and monitoring to appear broken.
• Release Job Cancellation — Fixes an issue where a completing release job could overwrite its own cancellation, causing the job to appear as succeeded after being manually stopped.