Add fetch/push/pull toolbar about github HOT 5 CLOSED

@simurai Did I grab the right design ☝️?

from github.

Yep.

Should we also consider having an "auto-fetch" feature. Maybe every 10 minutes or so?

Or some "sync" shortcut? It could be similar to the append feature: #87 (comment). If you hover the pull or push button and press alt, those two buttons would switch to a sync button that would do a pull+push in one click.

Anyways, ☝️ can be considered later. Just something to think about.

from github.

This'll require getting credentials from the GitHub package in some way. /cc @thedaniel

from github.

@joshaber the current package provides a service for checking auth status, it could provide credentials as well. We'll have to think about people that have the git package but not the github package installed, people that prefer to use local credentials vs managed ones, etc.

Questions like this make me want to merge the two packages entirely and just deactivate hub-specific things when not logged in.

from github.

Questions like this make me want to merge the two packages entirely and just deactivate hub-specific things when not logged in.

Yeah I've been thinking about that too...

from github.