Add pinning for supplemental repo
Merge pull request #158 from rickerc/pin_supplemental

Add pinning for supplemental repo