[jedit:feature-requests] #553 jEdit should move to github
Alan Ezust via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/feature-requests/553/120b36ba56e81a57203014f09b6c3254f39fc5ea.feature-requests@jedit.p.sourceforge.net> |
Step 1 is it must be converted to git. Step 2 is it can be mirrored on both sf.net and github. conversion to git including the full history (from cvs days) has been problematic according to vampire. --- **[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:25 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