Stream: t-compiler/wg-meta

Topic: meeting 2019.07.11


nikomatsakis (Jul 11 2019 at 18:08, on Zulip):

Hey @T-compiler/WG-meta -- meet?

nikomatsakis (Jul 11 2019 at 18:08, on Zulip):

Sorry, meeting running over

nikomatsakis (Jul 11 2019 at 18:14, on Zulip):

So

nikomatsakis (Jul 11 2019 at 18:14, on Zulip):

I read over minutes from last time

nikomatsakis (Jul 11 2019 at 18:15, on Zulip):

I guess we can briefly go over pulls

nikomatsakis (Jul 11 2019 at 18:16, on Zulip):

or alternatively what we think we ought to be doing in this wg

nikomatsakis (Jul 11 2019 at 18:16, on Zulip):

esp. as I'm going to be away next 4 weeks or so -- it would be good I think to at least keep meetings going to merge minutes and other PRs :)

nikomatsakis (Jul 11 2019 at 18:16, on Zulip):

But let me ask this:

Create static web page for the compiler team with hugo compiler-team#103

nikomatsakis (Jul 11 2019 at 18:16, on Zulip):

this looks like it's gotten a lot of work !

davidtwco (Jul 11 2019 at 18:17, on Zulip):

I'm happy with it, I just wanted to get both you and @Santiago Pastorino to take a quick look before merging.

nikomatsakis (Jul 11 2019 at 18:17, on Zulip):

I guess I will try it out locally

nikomatsakis (Jul 11 2019 at 18:18, on Zulip):

unless, is there a lnk to see the finished repo?

davidtwco (Jul 11 2019 at 18:18, on Zulip):

I think there was one at some point, unsure if it is still up to date.

nikomatsakis (Jul 11 2019 at 18:19, on Zulip):

ok I'll build locally

nikomatsakis (Jul 11 2019 at 18:19, on Zulip):

the other question is what we need to do to integrate with gh pages

nikomatsakis (Jul 11 2019 at 18:19, on Zulip):

or is that all done?

nikomatsakis (Jul 11 2019 at 18:19, on Zulip):

anyway, I think we should merge asap :)

davidtwco (Jul 11 2019 at 18:19, on Zulip):

I'm not sure on that front.

davidtwco (Jul 11 2019 at 18:20, on Zulip):

I'll need to look at it again.

nikomatsakis (Jul 11 2019 at 18:20, on Zulip):

I guess I can make a PR with vacation schedules

nikomatsakis (Jul 11 2019 at 18:20, on Zulip):

anyway, what do people want to do over the next few weeks?

nikomatsakis (Jul 11 2019 at 18:20, on Zulip):

I think at some point it would be good to have a meeting and try to look over what we've done, look over some of the steering meeting discussions from the past, and kind of figure out what are the next big things to do.

Santiago Pastorino (Jul 11 2019 at 18:21, on Zulip):

I can review the PR

Santiago Pastorino (Jul 11 2019 at 18:21, on Zulip):

btw

davidtwco (Jul 11 2019 at 18:21, on Zulip):

I think at some point it would be good to have a meeting and try to look over what we've done, look over some of the steering meeting discussions from the past, and kind of figure out what are the next big things to do.

I agree.

nikomatsakis (Jul 11 2019 at 18:21, on Zulip):

shall we try to schedule such a meeting? Maybe in August?

davidtwco (Jul 11 2019 at 18:22, on Zulip):

Sounds good.

Santiago Pastorino (Jul 11 2019 at 18:22, on Zulip):

I think at some point it would be good to have a meeting and try to look over what we've done, look over some of the steering meeting discussions from the past, and kind of figure out what are the next big things to do.

yeah agree too

Santiago Pastorino (Jul 11 2019 at 18:22, on Zulip):

sounds good to me too

Santiago Pastorino (Jul 11 2019 at 18:23, on Zulip):

to deploy a Hugo site to github pages it's very simple

Santiago Pastorino (Jul 11 2019 at 18:23, on Zulip):

I just did that

nikomatsakis (Jul 11 2019 at 18:23, on Zulip):

so the week of Aug 12 I am back from vacation and not yet left for rustconf :)

Santiago Pastorino (Jul 11 2019 at 18:23, on Zulip):

you basically generate the html and all that, you get some stuff in public and push that to github.com/githubusername/githubusername.github.io

Santiago Pastorino (Jul 11 2019 at 18:24, on Zulip):

and done

nikomatsakis (Jul 11 2019 at 18:24, on Zulip):

@Santiago Pastorino do you have sufficient privileges to setup the tokens and all that?

nikomatsakis (Jul 11 2019 at 18:24, on Zulip):

if not, can I give you them?

nikomatsakis (Jul 11 2019 at 18:24, on Zulip):

there's nothing I hate more than GH_TOKEN

nikomatsakis (Jul 11 2019 at 18:24, on Zulip):

:)

nikomatsakis (Jul 11 2019 at 18:24, on Zulip):

I guess deploy keys are the new hotness

Santiago Pastorino (Jul 11 2019 at 18:24, on Zulip):

Santiago Pastorino do you have sufficient privileges to setup the tokens and all that?

unsure

nikomatsakis (Jul 11 2019 at 18:25, on Zulip):

actually @Pietro Albini I feel like maybe the infra team was able to help out with deploy keys?

davidtwco (Jul 11 2019 at 18:25, on Zulip):

you basically generate the html and all that, you get some stuff in public and push that to github.com/githubusername/githubusername.github.io

That would be for rust-lang.github.io - that's not what we want, we want to push to the gh-pages branch of the compiler team repo, so we are at rust-lang.github.io/compiler-team/

Santiago Pastorino (Jul 11 2019 at 18:25, on Zulip):

under what user would this be? rust-lang?

nikomatsakis (Jul 11 2019 at 18:25, on Zulip):

well, not the user but the org

Santiago Pastorino (Jul 11 2019 at 18:25, on Zulip):

yes org :)

nikomatsakis (Jul 11 2019 at 18:26, on Zulip):

anyway let's see what @Pietro Albini says, I think there is some tooling for this

Santiago Pastorino (Jul 11 2019 at 18:26, on Zulip):

you basically generate the html and all that, you get some stuff in public and push that to github.com/githubusername/githubusername.github.io

That would be for rust-lang.github.io - that's not what we want, we want to push to the gh-pages branch of the compiler team repo, so we are at rust-lang.github.io/compiler-team/

yes in that case is different, agree

Pietro Albini (Jul 11 2019 at 18:26, on Zulip):

yeah, if it's in our orgs we can easily setup deploy keys

Pietro Albini (Jul 11 2019 at 18:26, on Zulip):

travis or azure?

Pietro Albini (Jul 11 2019 at 18:27, on Zulip):

(if it's just a blog travis will be fine)

nikomatsakis (Jul 11 2019 at 18:27, on Zulip):

travis will be fine I'm sure

nikomatsakis (Jul 11 2019 at 18:27, on Zulip):

it's not a blog

nikomatsakis (Jul 11 2019 at 18:27, on Zulip):

but it's infrequently updated

nikomatsakis (Jul 11 2019 at 18:27, on Zulip):

it's the compiler-team "homepage" so to speak

Pietro Albini (Jul 11 2019 at 18:27, on Zulip):

yeah, even better

nikomatsakis (Jul 11 2019 at 18:28, on Zulip):

awesome!

nikomatsakis (Jul 11 2019 at 18:28, on Zulip):

@Pietro Albini so should we land the PR in question first (compiler-team#103)?

Pietro Albini (Jul 11 2019 at 18:28, on Zulip):

deploy key configured

nikomatsakis (Jul 11 2019 at 18:28, on Zulip):

so the week of Aug 12 I am back from vacation and not yet left for rustconf :)

as for this, maybe we can use the friday slot to do this on that week -- we'll have to re-establish the planning rhythm etc anyway but I can add it to the calendar for now

Pietro Albini (Jul 11 2019 at 18:29, on Zulip):

just add this in your .travis.yml and everything will work

env:
  RUSTINFRA_DEPLOY_DIR: path/to/be/deployed
import:
  - rust-lang/simpleinfra/travis-configs/static-websites.yml
Santiago Pastorino (Jul 11 2019 at 18:32, on Zulip):

what does RUSTINFRA_DEPLOY_DIR means exactly?

Pietro Albini (Jul 11 2019 at 18:34, on Zulip):

the path that will be uploaded to the github pages site

Santiago Pastorino (Jul 11 2019 at 18:34, on Zulip):

:+1:

Santiago Pastorino (Jul 11 2019 at 18:35, on Zulip):

that would be just compiler-team I guess

Pietro Albini (Jul 11 2019 at 18:35, on Zulip):

no, it's the hugo output directory

Santiago Pastorino (Jul 11 2019 at 18:36, on Zulip):

ahh ok ok

Santiago Pastorino (Jul 11 2019 at 18:36, on Zulip):

I wasn't sure if it was an src path or a dst path

Santiago Pastorino (Jul 11 2019 at 18:36, on Zulip):

so public then

Pietro Albini (Jul 11 2019 at 18:36, on Zulip):

if that's the src directory yes!

Santiago Pastorino (Jul 11 2019 at 18:37, on Zulip):

yep

Santiago Pastorino (Jul 11 2019 at 18:37, on Zulip):

thanks

Last update: Nov 11 2019 at 21:55UTC