Removing files from a pull request

Previously, if you wanted to use GitHub to remove files from a pull request, you’d need to switch to the pull request branch and look for the individual file to delete it. Now, if you have write permission, you can click on the ‘trash’ icon for a file right in the pull request’s “Files changed” view to make a commit and remove it. For more info on deleting files, check out our documentation.

The release of GitHub Desktop 1.3 includes two noticeable improvements:

You’ll now be notified when your branch diverges from the master branch with an easy option to merge. You’ll also be able to see which repositories have had recent activity, uncommitted changes, and unpushed changes without having to click into each one.

See more

When following a permalink to a specific comment in an issue or pull request, the comment is now highlighted so that you can easily find it among other comments in the thread. For more information on commenting check out the documentation.