Switch to mainline of SBT 0.13

[retronym]

Now that sbt/sbt#1092 is merged

Review by @cunei / @jsuereth

/cc @adriaanm, @gkossakowski, to remind us that we're still
flying blind

[gkossakowski]

Thanks for the reminder! Is this the last remaining piece of getting community build to work?

[retronym]

An optimist!

On Tuesday, January 21, 2014, Grzegorz Kossakowski [email protected]
wrote:

Thanks for the reminder! Is this the last remaining piece of getting
community build to work?

—
Reply to this email directly or view it on GitHubhttps://github.com//pull/1#issuecomment-32969644
.

[retronym]

Looks like we've piloted our way back into the side of a mountain:

scalaz/scalaz#628

[retronym]

I've minimized the regression; looks like I was on the flight deck at the time: https://issues.scala-lang.org/browse/SI-8170

[cunei]

LGTM, thanks! Please feel free to merge and relaunch the job.

I'm fighting now with Ivy/Maven republishing. Once that is done the "assemble" hack can be finally removed and replaced with a more reliable Scala bootstrap process (I hope within a couple of days).

[jsuereth]

Yeah, this LGTM as well. Feel free to merge whenever, as @cunei stated.

[retronym]

Could one of you kind folks grant logins to the dbuild jenkins to the Scala team members?

[cunei]

At this time anyone with a Moxie account should already be able to log in and do everything. If anyone does not have an account, please just direct them to me and I'll create them. (We should move off Moxie for authentication at some point, but that is still a TODO...)