[jedit:feature-requests] #553 jEdit should move to github
Dale Anson via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/feature-requests/553/074c668c96362bedbd974c7f35b2a7454027866e.feature-requests@jedit.p.sourceforge.net> |
So list them out, what are the pros and cons as you see them? What exactly does github provide that sf doesn't? --- **[feature-requests:#553] jEdit should move to github** **Status:** open **Group:** none **Labels:** github **Created:** Wed Jun 02, 2021 12:07 AM UTC by sigzero **Last Updated:** Mon Jun 12, 2023 09:00 AM UTC **Owner:** nobody There was a ticket (#3922) back in 2016 that brought up the idea that jEdit should be moved to github. I think the developers should revisit the idea. I believe the pros vastly outweigh the cons now. Thanks. --- Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/feature-requests/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/feature-requests/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. -- ----------------------------------------------- jEdit Developers' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-devel