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

Unit checking #3255

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from
Draft

Unit checking #3255

wants to merge 1 commit into from

Conversation

henrikt-ma
Copy link
Collaborator

This is the main PR of MCP-0027.

Opening as Draft pull request, reflecting the current MCP status being In Development.

A long discussion foregoing this PR can be found in #2127.

@henrikt-ma henrikt-ma added the MCP Generic MCP label (prefer specific MCP label for grouping of issues belonging to the same MCP) label Oct 4, 2022
@HansOlsson HansOlsson added MCP0027 Unit checking and removed MCP Generic MCP label (prefer specific MCP label for grouping of issues belonging to the same MCP) labels Oct 6, 2022
@henrikt-ma
Copy link
Collaborator Author

@HansOlsson, @casella how do you feel about rebranding MCP-0027 as Unit checking in order to avoid abandoning this MCP just to open up another one with broader scope?

@casella
Copy link
Collaborator

casella commented Jun 8, 2023

I wonder if it's worth carrying all the history of this MCP. We could close this and keep it for the record. Maybe a a fresh start with a new one would be better?

@HansOlsson
Copy link
Collaborator

I believe it makes sense to rebrand MCP-0027 as Unit checking; instead of "Units of Literal Constants". I understand the concern by @casella - but to me it suffices to start a new PR if needed, and having all of the unit-issues and pull requests with the same label MCP-0027 label will make it easier to keep track of everything we have found out so far.

@henrikt-ma henrikt-ma changed the title Units of Literal Constants Units checking Jun 19, 2023
@henrikt-ma henrikt-ma changed the title Units checking Unit checking Jun 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
MCP0027 Unit checking
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants