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

Explicit pre-precompiled push checkout #7474

Merged
merged 1 commit into from Jan 5, 2018
Merged

Explicit pre-precompiled push checkout #7474

merged 1 commit into from Jan 5, 2018

Conversation

jacogr
Copy link
Contributor

@jacogr jacogr commented Jan 5, 2018

No description provided.

@jacogr jacogr added A2-insubstantial 👶 Pull request requires no code review (e.g., a sub-repository hash update). M1-ci 🙉 Continuous integration. M7-ui labels Jan 5, 2018
@jacogr jacogr merged commit c37a87e into master Jan 5, 2018
@jacogr jacogr deleted the jg-ci-checkout branch January 5, 2018 16:00
@5chdn 5chdn added this to the 1.9 milestone Jan 6, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
A2-insubstantial 👶 Pull request requires no code review (e.g., a sub-repository hash update). M1-ci 🙉 Continuous integration.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants