When working on a GitHub repo, GitHub offers their GitHub Desktop as well as their web-app. Unfortunately, their web-app has many limitations and quirks.
Often it is not desirable or feasible to install the full GitHub Desktop. Are there portable Windows-compatible tools to perform pull operations on GitHub repo's?