web: git actions in the dashboard (commit, PR, merge, push, open in GitHub)

April 15, 2026 ยท #658
View on GitHub
Rust Difficulty: Medium

Sign in required

Authenticate to use favourites & bookmarks

5