Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add Discussions to polars github #7189

Closed
mcrumiller opened this issue Feb 25, 2023 · 3 comments
Closed

Add Discussions to polars github #7189

mcrumiller opened this issue Feb 25, 2023 · 3 comments
Labels
enhancement New feature or an improvement of an existing feature

Comments

@mcrumiller
Copy link
Contributor

mcrumiller commented Feb 25, 2023

Problem description

GitHub has a Discussions feature that needs to be enabled on a per-repository basis. I think it would be nice to have this for posts such as #7178 which aren't an issue per se.

Not a big deal if people don't want this, but it helps separate out general discussion from actual issues which contribute to the devs' burnup/down charts.

@mcrumiller mcrumiller added the enhancement New feature or an improvement of an existing feature label Feb 25, 2023
@aldanor
Copy link
Contributor

aldanor commented Feb 25, 2023

(OP of the referenced issue here) to be fair, I did reach out first to see if there's discussions section available and didn't find any :)

Sounds like a good place to discuss design/implementation problems on one side, and for folks to discuss usage of the library and benchmarks on the other.

// In some big repos (not to name any) the discussions section also ends up serving as a dumpster for downgraded issues (eg "not really an issue or we're not sure what to do with it, so your issue has been moved to discussions, discuss it there") which may sometimes have a negative effect if it happens too often.

@ritchie46
Copy link
Member

ritchie46 commented Feb 26, 2023

I didn't like the indirection. When we had discussions, people used it as issues and this got lost. I also believe we have enough channels already. More than I can cope at least. 😅

We have issues, our discord and Stackoverflow.

@mcrumiller
Copy link
Contributor Author

mcrumiller commented Feb 26, 2023

@ritchie46 sounds good, no complaints here.

edit: whoops I'm not in Gitlab.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or an improvement of an existing feature
Projects
None yet
Development

No branches or pull requests

3 participants