Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Add gui dialog when merge makes no changes #2551
Type of change
Description and Context
Add a gui dialog that notifies the user after a merge operation. This keeps the gui consistent with the cli.