Skip to content
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

Merge April 1 - 4, 2018 changes on master #283

Merged
merged 14 commits into from
Apr 7, 2018
Merged

Merge April 1 - 4, 2018 changes on master #283

merged 14 commits into from
Apr 7, 2018

Conversation

robby-phd
Copy link
Collaborator

@robby-phd robby-phd commented Apr 7, 2018

Branch master was recently force pushed and it removed some changes made on April 1-4.
If the removal was unintentional, this PR restores/merges those changes with current master.

lihaoyi and others added 13 commits March 31, 2018 07:47
* Reverted Ammonite caching workaround (a796f0a) now that it's fixed

* Changed ci/test-mill-0.sh to use interactive mode due to intermittent client failures to connect to server in travis

* Added ci/test-mill-bootstrap.sh (ci/test-mill-0.sh with bootstrapping) and use it on oraclejdk9 instead of ci/test-mill-0.sh

* Upgraded mill used for ci to 0.1.7-29-f5097f
# Conflicts:
#	.travis.yml
#	scalalib/src/mill/scalalib/Dep.scala
@Ammonite-Bot
Copy link
Collaborator

Ammonite-Bot commented Apr 7, 2018 via email

@lihaoyi
Copy link
Member

lihaoyi commented Apr 7, 2018

turned on master branch protection to avoid further screwups

@robby-phd robby-phd changed the title Merge April 1 - 6, 2018 changes on master Merge April 1 - 3, 2018 changes on master Apr 7, 2018
@robby-phd
Copy link
Collaborator Author

No problem. Glad that I still have some of the git history locally.
Note that this only restores/merges up to b920052 (April 3).

@robby-phd robby-phd changed the title Merge April 1 - 3, 2018 changes on master Merge April 1 - 4, 2018 changes on master Apr 7, 2018
@robby-phd robby-phd merged commit ccb67db into master Apr 7, 2018
@robby-phd robby-phd deleted the merge-master branch April 7, 2018 13:53
@lefou lefou added this to the 0.2.0 milestone May 2, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants