Topic: Should we move this repo to a new account?

[infews]

Given Pivotal no longer exists, and it is unclear who truly owns the pivotal-legacy account, I have some questions:

1. Is this valuable enough as a project for it to be maintained centrally?

2. Should we move this to a new account (@professor has already created a fork as a starting point)?

[professor]

Here's the fork that I made: https://github.com/professor/jetbrains-ide-prefs -- I wanted to keep the preferences we love, and use it VMware without calling attention to its legacy.

[anujbiyani]

1. I use it every time I set up a new machine!
2. Might be the best way to preserve it indefinitely.

[akitchen]

But its legacy is glorious!

I had been using it for a long time but let it slide as I haven't been in a position to share prefs as much as we used to. I think my similarly renamed fork has some compatibility problems but I'm also out of sync with "upstream" ... some things have changed in the jetbrains editors over the years.

Anyhoo, I'd be up for helping to maintain it if we want to move it somewhere else (or even start rallying around Todd's fork).

[infews]

@akitchen - you are a contributor in the "new" repo. @anujbiyani - I'm suggesting we archive this repo, make Todd's the new "main" and we continue dev there.