[jedit:feature-requests] #553 jEdit should move to github
whydo pplstillusesf via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/feature-requests/553/1aa3a9d177a091a10ebbdd413d44dbb72d7b1835.feature-requests@jedit.p.sourceforge.net> |
absolutely - @daleanson @ezust @grepppo @k_satoda - anybody home? (0_o - @vampire0 - any thoughts?) --- **[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 08:55 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