镜像站点 · 本页由第三方 GitHub 只读镜像提供，非 GitHub 官方站点，不接受任何登录或凭据输入。前往 github.com
Skip to content

Rename the repo to make it editor agnostic? #1

Closed
Closed
Rename the repo to make it editor agnostic?#1

Description

@trivikr
trivikr
opened on Nov 1, 2018

This was suggested by @devsnek in nodejs/admin#260 (comment)
How about renaming it to node-editor-config?

Activity

  1. trivikr commented on Nov 1, 2018

    @trivikr
    trivikr
    on Nov 1, 2018
    MemberAuthor

    Suggestion from @refack: node-code-ide-configs
    Comment: nodejs/admin#260 (comment)

  2. refack commented on Nov 1, 2018

    @refack
    refack
    on Nov 1, 2018

    I'm fine with both suggestions.

  3. trivikr commented on Nov 20, 2018

    @trivikr
    trivikr
    on Nov 20, 2018
    MemberAuthor

    cc @nodejs/tsc for renaming the repo to node-code-ide-configs as agreed in nodejs/TSC#633

  4. Trott commented on Nov 20, 2018

    @Trott
    Trott
    on Nov 20, 2018
    Member

    Renamed.

  5. Trott
    closed this as completedon Nov 20, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

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