Skip to content
This repository has been archived by the owner on Sep 9, 2020. It is now read-only.

gps: fine grained source transitions #1250

Merged
merged 2 commits into from
Feb 24, 2018
Merged

gps: fine grained source transitions #1250

merged 2 commits into from
Feb 24, 2018

Commits on Jan 31, 2018

  1. gps: vcs: fine grained source transitions 

    gps: source coord: set-up sources before returning gateways

gps: source cache: improve PackageTree ProjectRoot handling
    @jmank88
    jmank88 committed Jan 31, 2018
    Configuration menu
    Copy the full SHA
    b9a79ad View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2018

  1. gps: source: ping upstream when no local state exists

    @jmank88
    jmank88 committed Feb 22, 2018
    Configuration menu
    Copy the full SHA
    98031fc View commit details
    Browse the repository at this point in the history