Skip to content

Change master to a more positive name #35

Open
@jonrkarr

Description

Posting this here because I'm not aware of a more appropriate place. Feel free to transfer this elsewhere.

The issue

Because master has negative connotations, many people are replacing the term master with other terms such as main. Here's an article about GitHub's change from master to main.
https://www.theserverside.com/feature/Why-GitHub-renamed-its-master-branch-to-main

In addition, I think the meaning of the master could be clearer. For example, is this intended to indicate the SED-ML files that should be executed? Should files that have master=false not be executed? What should happen if no file has master=true? What is the only file that has master=true is not a SED-ML file (e.g., the only master file is a .cps file)?

Proposal

  • Rename the master attribute to something like main.
  • Clarify in the specifications how a positive value of this attribute should be interpreted.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions