Proposal to move project vcs-prettify-symbols-mode to coq-community

[mycroft92]

Project name: vcs-prettify-symbols-mode

Initial author(s): CJ Bell

Current URL: https://github.com/siegebell/vsc-prettify-symbols-mode

Kind: Visual Studio Code Plugin

License: MIT License

Description: Prettify symbols mode makes visual substitutions to your source code, e.g. displaying fun as λ, while never touching your code.

Status: Not maintained since 5 years. However two forks of the project are currently maintained (https://github.com/silver-dragon/vsc-prettify-symbols-mode) & (https://github.com/Pancaek/vsc-conceal)

New maintainer: Looking for a volunteer.

[Zimmi48]

@Pancaek @silver-dragon Would you be interested in becoming the maintainers of this project within coq-community? Should we transfer one of your forks? How would you evaluate the differences between your two branches?

[rtetley]

If this is still relevant to people I could probably take a crack at maintaining it ?

[palmskog]

@rtetley I think this is still very relevant, yes, so it would be nice to have it maintained. However, maybe you can take a look at the following fork, which seems to have quite a few changes and was last changed like a year ago: https://github.com/Pancaek/vsc-conceal

[rtetley]

Okay will do !

[palmskog]

I guess what we are interested in is whether there should be a clean fork of https://github.com/siegebell/vsc-prettify-symbols-mode or it makes sense to try to collaborate with the vsc-conceal developer(s) or fork that project.

[rtetley]

Thanks for the clarification, I will do a bit of digging and let you know.

[pancaek]

Hi! To be honest, I don't really have the bandwidth to maintain vsc-conceal anymore, so I'd generally prefer to hand off the project in some way or another. It initially started as a way of merging some of the long-standing language support requests for people (namely LaTeX). It hasn't had any changes in logic from the original prettify-symbols-mode.

[rtetley]

Hi ! I'm more than willing to take over, just let me know what the next steps are ? Are we moving it to coq-community then ?

[palmskog]

@pancaek would you be willing to transfer the repository https://github.com/Pancaek/vsc-conceal to our GitHub organization coq-community? If so, I can invite you to become an organization member so you can do the transfer. You could stay on as repository administrator if you like.

We prefer repository transfers over forks because this means repository issues and other metadata are kept, and there will be a redirect from the old location so people find the maintained repository.

[pancaek]

I would be glad to!

[palmskog]

The repository has been moved, and @rtetley now has admin access to the repo. Let's close this issue and continue any related discussion in repository issues: https://github.com/coq-community/vsc-conceal/issues