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

Remove cygwin.txt #36782

Closed
wants to merge 2 commits into from
Closed

Remove cygwin.txt #36782

wants to merge 2 commits into from

Conversation

mkoeppe
Copy link
Member

@mkoeppe mkoeppe commented Nov 26, 2023

Split out from #36778

See #36778 (comment)

📝 Checklist

  • The title is concise, informative, and self-explanatory.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation accordingly.

⌛ Dependencies

@mkoeppe mkoeppe self-assigned this Nov 26, 2023
Copy link

Documentation preview for this PR (built with commit 8cee631; changes) is ready! 🎉

@dimpase
Copy link
Member

dimpase commented Nov 28, 2023

Please explain the purpose of putting this on hold. You said something about "other projects benefitting". They can just as well be using a branch where the Cygwin is still present.

@mkoeppe
Copy link
Member Author

mkoeppe commented Nov 28, 2023

Dima, such calls to "go play on your own branch", like your previous suggestion that I "just fork Sage" (#35403 (comment)), are most unwelcome.

https://github.com/sagemath/sage/blob/develop/CODE_OF_CONDUCT.md

@dimpase

This comment was marked as abuse.

@dimpase dimpase mentioned this pull request Dec 22, 2023
5 tasks
@mkoeppe
Copy link
Member Author

mkoeppe commented Dec 22, 2023

without an explanation

As you well know, I explained it in the original discussion.
The link to it is in the PR description.

@dimpase dimpase added disputed PR is waiting for community vote, see https://groups.google.com/g/sage-devel/c/IgBYUJl33SQ s: needs info labels Dec 22, 2023
@vbraun
Copy link
Member

vbraun commented Feb 17, 2024

#36778 was merged, can this ticket be closed?

@mkoeppe
Copy link
Member Author

mkoeppe commented Feb 17, 2024

The cygwin.txt files were not removed in the merged version of #36778. I split that proposed change out from there to this PR because I did not agree with removing them at the time. (I still do not support it because, as I explained, the information system is still useful when I help other projects with my Cygwin expertise.)

From my side, no action is needed here. It's fine with me to either close it, or to leave it as "pending" indefinitely.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
c: build disputed PR is waiting for community vote, see https://groups.google.com/g/sage-devel/c/IgBYUJl33SQ pending
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants