[jedit:feature-requests] Re: #553 jEdit should move to github
Daniela Stoica via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/feature-requests/553/[email protected]> |
I keep receiving emails from you. Please remove me for the email list, thank you
On Monday, June 12, 2023 at 11:01:12 AM GMT+2, whydo pplstillusesf via jEdit-devel <[email protected]> wrote:
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
---
**[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 19, 2023 11:59 PM 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