# GitHub Desktop 3.1.5

DevFeed: [GitHub Desktop 3.1.5](<https://devfeed.tech/articles/github-desktop-3-1-5-75481.md>)

Original publisher: [Read original article](<https://github.com/desktop/desktop/releases/tag/release-3.1.5>)

Published: 2024-10-08T11:42:07Z

Content type: release

Language: en

Sources: [GitHub Desktop](<https://devfeed.tech/sources/github-desktop.md>)

Topics: [GitHub Desktop](<https://devfeed.tech/topics/github-desktop.md>), [GitHub](<https://devfeed.tech/topics/github.md>), [CI/CD](<https://devfeed.tech/topics/cicd.md>)

Tags: [1-5](<https://devfeed.tech/tags/1-5.md>), [c-plus-plus](<https://devfeed.tech/tags/c-plus-plus.md>), [emacs](<https://devfeed.tech/tags/emacs.md>), [fleet](<https://devfeed.tech/tags/fleet.md>), [github](<https://devfeed.tech/tags/github.md>), [github-desktop](<https://devfeed.tech/tags/github-desktop.md>), [jetbrains](<https://devfeed.tech/tags/jetbrains.md>), [jetbrains-toolbox](<https://devfeed.tech/tags/jetbrains-toolbox.md>), [phpstorm](<https://devfeed.tech/tags/phpstorm.md>), [webstorm](<https://devfeed.tech/tags/webstorm.md>)

## AI overview

GitHub Desktop 3.1.5 adds branch force-push and fetch options, support for several external editors, and other updates. The release also fixes issues with macOS window behavior, commit-list selection, pull request notifications, and repository progress display, and improves keyboard navigation, tag copying, and Arduino file highlighting.

## Source excerpt

**Added** - Enable menu option to Force-push branches that have diverged - #15211 - Add menu option to Fetch the current repository at any time - #7805 - Add support for JetBrains Toolbox and JetBrains Fleet editor for Windows - #12912. Thanks @tsvetilian-ty! - Add support for Emacs editor for Linux - #15857. Thanks @zipperer! - Add Jetbrains PhpStorm and WebStorm Editors for Linux - #15375. Thanks @patinthehat! - Support VSCodium as an external editor - #15348. Thanks @daniel-ciaglia! **Fixed** - Hide window instead of hiding the app on macOS - #15511. Thanks @angusdev! - Only left mouse clicks invoke dragging in the commit list - #15313 - Selected list items stay selected when scrolling - #2957 - Stick to one tooltip at a time in the repository list - #15583 - Notifications of Pull Request reviews are displayed for forked repositories - #15580 - Notifications when checks of a Pull Request fail are displayed for forked repositories - #15422 - Prevent closing GitHub Desktop while it's being updated - #7055, #5197 - Notifications are shown only when they are relevant to the current repository - #15487 - The repository change indicator is visible if repository list item is selected and in focus - #7651. Thanks @angusdev! - Tooltips are positioned properly if mouse is not moved - #13636. Thanks @angusdev! - Tooltips of long commit author emails wrap to multiple lines - #15424. Thanks @angusdev! - Clone repository progress bar no longer hidden by repository list - #11953. Thanks @angusdev! **Improved** - Ability to copy tag names from the commit list - #15137. Thanks @Shivareddy-Aluri! - The dropdown selection component is keyboard navigable - #15620 - The diff view now highlights Arduino's `.ino` files as C++ source - #15555. Thanks @j-f1! - Close repository list after creating or adding repositories - #15508. Thanks @angusdev! - Always show an error message when an update fails - #15530