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

Added gamedev-wg #74

Closed
wants to merge 45 commits into from
Closed

Added gamedev-wg #74

wants to merge 45 commits into from

Conversation

AlexEne
Copy link
Member

@AlexEne AlexEne commented Jun 6, 2019

I just copied the format from the other working groups. I am not sure how to test that everything is fine.
I assumed the usernames are the github usernames.

That address doesn't exist yet so I think we shouldn't merge this until it exists.
[email protected]

Thank you,
Alexandru Ene

@Manishearth
Copy link
Member

I'm confused: there's no charter or anything for this group yet? You also would need to see if other people in the community are interested in being involved.

rust-lang/wg-governance#10

@AlexEne
Copy link
Member Author

AlexEne commented Jun 6, 2019

It is related to the rust-lang/wg-governance#10 issue. We just had an initial meeting with @skade about this and he suggested setting this up here as one of the first steps.

@Manishearth
Copy link
Member

Ah, I see. So to be clear, this isn't to be merged yet.

Copy link
Member

@pietroalbini pietroalbini left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Left two things that needs to be fixed.

The mailing list will automatically be created within 5 minutes of this PR being merged, with the WG members in it.

teams/wg-gamedev.toml Outdated Show resolved Hide resolved
teams/wg-gamedev.toml Outdated Show resolved Hide resolved
@AlexEne
Copy link
Member Author

AlexEne commented Jun 6, 2019

Yes, We can keep from merging this until a charter is available if merging into this repo requires a charter to be available.

To be honest this is the one of the first WG to be done this way so I am unsure what comes first (charter vs pr here vs github org, etc.). I am trying to get done as much as possible from the organizational side out of the way so we can move forward so that's why I did this as one of the first PRs :D

@Manishearth
Copy link
Member

You'll need a charter first, and also probably more members (you'll probably gain members when the charter is posted for others to see)

@AlexEne
Copy link
Member Author

AlexEne commented Jun 6, 2019

Alright, I'll fix up this PR and we can come back on this after the meeting next week where we will discuss and move towards finalizing the charter.

@skade
Copy link
Contributor

skade commented Jun 7, 2019

Ha, that was quick. Sorry for the confusion. We need to figure out how to represent the WG as "in formation" first.

@pietroalbini
Copy link
Member

Note that now you need to add github-id to the added people.

@pietroalbini
Copy link
Member

Hi! Sorry for the trouble, but we made changes to this repository's CI, and the PR needs to be rebased on top of master. Could you do that? Thanks!

@AlexEne
Copy link
Member Author

AlexEne commented Aug 14, 2019

Yes, sorry about the lack of activity on this one as we were focused on some other things. I will try to have something ready this weekend

@AlexEne AlexEne closed this Sep 26, 2019
@AlexEne AlexEne mentioned this pull request Sep 26, 2019
@AlexEne
Copy link
Member Author

AlexEne commented Sep 27, 2019

I re-opened this #124 here, as it was too painful to deal with what went wrong on this PR.

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.