Skip to content

Conversation

@bbatsov
Copy link
Contributor

@bbatsov bbatsov commented Apr 3, 2025

@dsyme That's basically follow-up of the rename of the gh-pages branch you already did.

@bbatsov bbatsov changed the title Remove gh pages Remove/update mentions of gh-pages branch Apr 3, 2025
@dsyme
Copy link
Contributor

dsyme commented Apr 4, 2025

Resolve conflicts?

@bbatsov
Copy link
Contributor Author

bbatsov commented Apr 4, 2025

@dsyme Done!

Btw, looking at your changes, do I get it right the F# Foundation is dead and we need to cleanup mentions of it?

@dsyme
Copy link
Contributor

dsyme commented Apr 4, 2025

@bbatsov Not quite - it's more that the foundation is now more of a background legal entity - it exists but is not something for active participation or branding. Other community efforts are doing a better job on that.

@dsyme dsyme merged commit d38ce66 into fsharp:main Apr 4, 2025
@psfinaki
Copy link
Collaborator

psfinaki commented Apr 4, 2025

@bbatsov you're doing an amazing job - thanks for giving fsharp.org an update. With time, we get tunnel visioned by how things are and your fresh look is very helpful here!

@bbatsov
Copy link
Contributor Author

bbatsov commented Apr 4, 2025

@psfinaki Thanks for the kind words! It's always nice to contribute what I can to languages that I enjoy, and their respective communities. And it's great to see that here everyone's so open to various small improvements!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants