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

added scalus project #35

Merged
merged 3 commits into from
Feb 20, 2025
Merged

added scalus project #35

merged 3 commits into from
Feb 20, 2025

Conversation

rssh
Copy link
Contributor

@rssh rssh commented Feb 17, 2025

Hi. It's request instead of defunct now. main...rssh:GoogleSummerOfCode:patch-2

//It Looks like we found a bug in GitHub when I created a pull request on 7 Feb, by inline editing, github created fork, but I have an unsynchronized fork of this repo from past year, therefore pull request not arrived (but was shown to me as submitted)

Sorry for the late resubmission.
Regards!

Copy link
Member

@adpi2 adpi2 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Scalus needs an open-source license to qualify for GSoC.

Copy link
Member

@adpi2 adpi2 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for joining GSoC with the Scala Center

@adpi2 adpi2 merged commit 60b8e58 into scalacenter:main Feb 20, 2025
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