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

Change name of the Code Comittee to Software Comittee #4

Merged
merged 1 commit into from
Feb 15, 2018

Conversation

GeorgLink
Copy link
Member

Rationale: We've been using the name Software Committee for a while (at least in some context), and my feeling is the word "software" is much less ambiguous than "code", thus making it more clear what the TC is for.

Note: According to the charter, this modification needs two thirds of the GB, so this is really a proposal to be discussed in the next GB meeting. Comments to this pull request are welcome in advance to that discussion.

Rationale: We've been using the name Software Committee for a while (at least in some context), and my feeling is the word "software" is much less ambiguous than "code", thus making it more clear what the TC is for.

Note: According to the charter, this modification needs two thirds of the GB, so this is really a proposal to be discussed in the next GB meeting. Comments to this pull request are welcome in advance to that discussion.
@GeorgLink
Copy link
Member Author

GeorgLink commented Jan 22, 2018

I found these changes by @jgbarah hidden away in a branch.
@jgbarah your description speaks of a pull-request and I have created this one to encourage discussion.

@GeorgLink
Copy link
Member Author

I'm not on the Governing Board, but I support this proposal. +1

@jgbarah
Copy link
Contributor

jgbarah commented Jan 22, 2018

I found these changes by @jgbarah hidden away in a branch.
@jgbarah your description speaks of a pull-request and I have created this one to encourage discussion.

Ooops. I think that was my fault. I thought I had produced a pr. Thanks for saving this!!!

@GeorgLink
Copy link
Member Author

GeorgLink commented Jan 23, 2018 via email

@jgbarah
Copy link
Contributor

jgbarah commented Feb 15, 2018

OK, this was approved in the board meeting, so merging...

@jgbarah jgbarah merged commit cc9c458 into master Feb 15, 2018
@GeorgLink GeorgLink deleted the jgbarah-patch-1 branch March 7, 2018 13:43
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.

None yet

2 participants