Description
Suggested new feature or improvement
Integrate all GitHub tools that can be seen in the GitHub Desktop app into Dev Home, such as Pull, Push, Fetch, Commit, and creating a pull request for a specific repository and branch.
Scenario
A developer may have multiple windows open or snapped together. GitHub Desktop generally takes more space on the screen than Dev Home and also does not provide all developer tools and functionality. Furthermore, to access more info about your repo, you need to go to GitHub.com rather than the desktop app. Integrating all the GitHub functionality into Dev Home could be extremely useful than having GitHub tabs open or GitHub desktop as well as Dev Home in the background.
Additional details
This could be done in various ways as well! Here is a list of ideas:
- A wide widget that has all the tools (Pull, Push, Commit, Create Pull Request) and an overview of local changes
- A normal customizable widget, that has all the tools, and another that has the changes
I have provided a concept image as well! Feel free to check it out!