elm-community / SublimeElmLanguageSupport

Elm language syntax highlighting and tool integration for ST2/3.

Home Page:https://packagecontrol.io/packages/Elm%20Language%20Support

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Rename github repo to `Elm Language Support`

stoivo opened this issue · comments

commented

@stoivo Good idea. This will require publishing a package move to Package Control.

commented

I can do that, should not be much work.

commented

We should name it ElmLanguageSupport since we can not have spaces in repo path

@stoivo I'm waiting for wbond/package_control_channel#6711 to merge so that stragglers on ST2 will only receive the older, compatible versions of this package. I'd rather not confuse things with two changes to our package pending at once. Once that merges, we should be good to go.

@stoivo Looks like GitHub auto-redirects the old repo name to the new, so we can make this change any time we want and update Package Control later.

I'm thinking the repo should be named SublimeElmLanguageSupport, to distinguish it from other editor integrations. This is the standard naming convention for Sublime packages.

commented

Yepp, let's wait for the first PR to get merged.
Adding Sublime to the name is a good idea. We should add a comment the readme,
Manually installation:

git clone https://github.com/elm-community/Elm.tmLanguage.git 'Elm Language Support'

so it is easier to get first time contributors :)

commented

Should we proceed with the rename?
Open the PR to package_control_channel. When it actually is merged, change the name?

commented

I open a PR to change the name, wbond/package_control_channel#6756

@stoivo Thanks for being so proactive, but in this case I believe we need to rename the repository first (GitHub will redirect the old URL), and then update Package Control with the new URL.

I'm getting the ball rolling on renaming this repository now.

Request opened to rename this repository: elm-community/guidelines#84

The repository has now been renamed! 👍

commented

Great