New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Automatically checkout handmade metadata git submodule #927

Merged
merged 1 commit into from Oct 3, 2018

Conversation

Projects
None yet
2 participants
@alexarchambault
Member

alexarchambault commented Oct 3, 2018

No description provided.

@SethTisue

This comment has been minimized.

Show comment
Hide comment
@SethTisue
Contributor

SethTisue commented Oct 3, 2018

@alexarchambault

This comment has been minimized.

Show comment
Hide comment
@alexarchambault

alexarchambault Oct 3, 2018

Member

Ah, I forgot to merge that (which should be merged anyway).

@SethTisue Don't hesitate to report back if it fixes the community-build or not.

Member

alexarchambault commented Oct 3, 2018

Ah, I forgot to merge that (which should be merged anyway).

@SethTisue Don't hesitate to report back if it fixes the community-build or not.

@alexarchambault alexarchambault merged commit 21fc3eb into master Oct 3, 2018

2 checks passed

continuous-integration/appveyor/pr AppVeyor build succeeded
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details

@alexarchambault alexarchambault deleted the topic/update-new-submodule branch Oct 3, 2018

@alexarchambault alexarchambault restored the topic/update-new-submodule branch Oct 3, 2018

@alexarchambault

This comment has been minimized.

Show comment
Hide comment
@alexarchambault

alexarchambault Oct 3, 2018

Member

(Keeping the branch for the community build for now…)

Member

alexarchambault commented Oct 3, 2018

(Keeping the branch for the community build for now…)

@SethTisue

This comment has been minimized.

Show comment
Hide comment
@SethTisue

SethTisue Oct 4, 2018

Contributor

thanks! you can delete the branch now: scala/community-builds@8cb93c0

Contributor

SethTisue commented Oct 4, 2018

thanks! you can delete the branch now: scala/community-builds@8cb93c0

@alexarchambault alexarchambault deleted the topic/update-new-submodule branch Oct 9, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment