GitHub

2025-08-13 Thread Daniel Stenberg via curl-library
Hey all, First: we are not leaving GitHub. We may disagree with some of what they focus on these days but they provide a solid platform for us and thanks to their generous sponsorship we have a powerful and effect CI setup that truly is the foundation for us doing high quality releases

Re: What would make GitHub even better for us?

2021-10-26 Thread Patrick Monnerat via curl-library
On 10/26/21 18:55, Dennis Clarke via curl-library wrote: Avoid github and Microsoft entirely. Use a far more open resource such as https://sourcehut.org/ which also provides build systems for a pile of architectures https://man.sr.ht/builds.sr.ht/compatibility.md There's also

Re: What would make GitHub even better for us?

2021-10-26 Thread Dennis Clarke via curl-library
On 10/26/21 17:10, Daniel Stenberg wrote: > On Tue, 26 Oct 2021, Dennis Clarke via curl-library wrote: > >> Not sure why anyone would want to do open source work within github > > GitHub has several benefits, a primary one being that "everyone" is > already ther

Re: What would make GitHub even better for us?

2021-10-26 Thread Daniel Stenberg via curl-library
On Tue, 26 Oct 2021, Dennis Clarke via curl-library wrote: Not sure why anyone would want to do open source work within github GitHub has several benefits, a primary one being that "everyone" is already there, has an account and knows how to work with it. We use git. We can

Re: What would make GitHub even better for us?

2021-10-26 Thread Dennis Clarke via curl-library
On 10/26/21 03:06, Daniel Stenberg via curl-library wrote: > Hello! > > I've created a git repository with suggestions I think GitHub could do, > that would improve running and maintaining our project. It is browsable > here: > >   https://bagder.github.io/github-feedba

Re: What would make GitHub even better for us?

2021-10-26 Thread James Fuller via curl-library
um here rather https://github.com/github/feedback/discussions/categories/general-feedback On Tue, 26 Oct 2021 at 17:03, James Fuller wrote: > > looks like github wants all feedback via here now > > On Tue, 26 Oct 2021 at 16:55, Daniel Stenberg via curl-library > wrote: > &g

Re: What would make GitHub even better for us?

2021-10-26 Thread James Fuller via curl-library
looks like github wants all feedback via here now On Tue, 26 Oct 2021 at 16:55, Daniel Stenberg via curl-library wrote: > > On Tue, 26 Oct 2021, John Marshall wrote: > > > BTW some of these are things that people have been asking for for years. In > > particular: > > T

Re: What would make GitHub even better for us?

2021-10-26 Thread Daniel Stenberg via curl-library
On Tue, 26 Oct 2021, John Marshall wrote: BTW some of these are things that people have been asking for for years. In particular: Thanks a lot for those links John! I've now done two things: 1 - I've submitted a few requests over at https://github.com/github/feedback/discussion

Re: What would make GitHub even better for us?

2021-10-26 Thread John Marshall via curl-library
On 26 Oct 2021, at 08:06, Daniel Stenberg via curl-library wrote: > I've created a git repository with suggestions I think GitHub could do, that > would improve running and maintaining our project. It is browsable here: > > https://bagder.github.io/github-feedback/ BTW

What would make GitHub even better for us?

2021-10-26 Thread Daniel Stenberg via curl-library
Hello! I've created a git repository with suggestions I think GitHub could do, that would improve running and maintaining our project. It is browsable here: https://bagder.github.io/github-feedback/ I'm interested in help to enhance, correct and make each proposal better an