Skip to content

Add cortex-a to the project list of the Cortex-A team #233

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
Oct 10, 2018

Conversation

andre-richter
Copy link
Member

Moving it to the WG was part of the recently accepted RFC for a Cortex-A team.

It is currently hosted here: https://github.com/andre-richter/cortex-a

Moving it to the WG was part of the recently accepted [RFC for a Cortex-A team](#207 (comment)).

It is currently hosted here: https://github.com/andre-richter/cortex-a
@hannobraun hannobraun dismissed their stale review October 10, 2018 18:57

Review was based on a misunderstanding.

@andre-richter
Copy link
Member Author

I think any approval would be fine to move this forward. It's just that I can't do it myself.

As discussed in #227 (comment), there's not much sense in re-approving what has just been accepted by the majority of the WG.

@andre-richter
Copy link
Member Author

Thanks!

The repo is transferred.

bors r+

@bors
Copy link
Contributor

bors bot commented Oct 10, 2018

Not awaiting review

@andre-richter andre-richter reopened this Oct 10, 2018
@andre-richter
Copy link
Member Author

bors r+

bors bot added a commit that referenced this pull request Oct 10, 2018
233: Add cortex-a to the project list of the Cortex-A team r=andre-richter a=andre-richter

Moving it to the WG was part of the recently accepted [RFC for a Cortex-A team](#207 (comment)).

It is currently hosted here: https://github.com/andre-richter/cortex-a

Co-authored-by: Andre Richter <[email protected]>
@bors
Copy link
Contributor

bors bot commented Oct 10, 2018

Build succeeded

@bors bors bot merged commit 04136b0 into master Oct 10, 2018
@bors bors bot deleted the andre-richter-patch-1 branch October 10, 2018 21:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants