Skip to content

March 2019 advisory board minutes #85

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

Merged
merged 1 commit into from
Apr 17, 2019
Merged

March 2019 advisory board minutes #85

merged 1 commit into from
Apr 17, 2019

Conversation

SethTisue
Copy link
Member

No description provided.

@SethTisue SethTisue merged commit dd2f70d into master Apr 17, 2019
@SethTisue SethTisue deleted the minutes-march-2019 branch April 17, 2019 04:03
@SethTisue
Copy link
Member Author

fixup in d479ba0

@SethTisue
Copy link
Member Author

@SethTisue
Copy link
Member Author

not sure how long the deploy is supposed to take...

@SethTisue
Copy link
Member Author

SethTisue commented Apr 17, 2019

oh, 127e7ff hasn't showed up on the site either, and that's 2+ weeks ago

@fsalvi @jvican @sjrd I know nothing about the deploy pipeline for this site (that's #38), any idea what's up?

@fsalvi
Copy link
Contributor

fsalvi commented Apr 17, 2019

I ran it manually. Sorry, I'm out of office since a few weeks because of an accident. I will try to fix the build trigger remotely a bit later. In the mean time, I added a cron job to rebuild the website twice a day.

@sjrd
Copy link
Member

sjrd commented Apr 17, 2019

Thank you @fsalvi!

@SethTisue
Copy link
Member Author

SethTisue commented Apr 17, 2019

further fixup in 744ed69, we should hold off on tweeting until it's reached the site

draft tweet: Scala Center advisory board minutes, March 2019: Rob Norris (@tpolecat) joins board; progress on Coursier, Bloop, Metals, mdoc, new MOOC, Scala Days 2019; discussions on Scala at Twitter, allowing board members to pay w/ eng instead of $, more. https://scala.epfl.ch/minutes/2019/03/06/march-6-2019.html

@SethTisue
Copy link
Member Author

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.

3 participants