Hacker News new | ask | show | jobs
by dlib 3969 days ago
I second this, also I'd like to see an overview of the (files with) merge conflicts if any instead of a message saying the PR can't be merged. Fixing the merge conflicts might be another thing in the web interface would be cool but I guess I'll stick to the CLI for this.