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

rhai: Initial integration #11189

Merged
merged 1 commit into from
Nov 17, 2023
Merged

Conversation

nathaniel-brough
Copy link
Contributor

No description provided.

Copy link

github-actions bot commented Nov 6, 2023

silvergasp is integrating a new project:
- Main repo: https://github.com/rhaiscript/rhai.git
- Criticality score: 0.59621

@nathaniel-brough
Copy link
Contributor Author

nathaniel-brough commented Nov 6, 2023

cc @schungx

TODOs:

  • Add primary author.
  • Change back to main fork.

@schungx
Copy link

schungx commented Nov 7, 2023

For fuzzing maybe you should make yourself as the primary contact?

And how to change back to main fork?

projects/rhai/Dockerfile Outdated Show resolved Hide resolved
projects/rhai/project.yaml Show resolved Hide resolved
@nathaniel-brough nathaniel-brough marked this pull request as ready for review November 12, 2023 18:04
@schungx
Copy link

schungx commented Nov 13, 2023

So what should I do now?

@nathaniel-brough
Copy link
Contributor Author

Just need to wait for the oss-fuzz team to approve. Sometimes it'll take them a couple weeks if they have a backlog.

@jonathanmetzman
Copy link
Contributor

Why is this project critical? Why should we accept it?

@nathaniel-brough
Copy link
Contributor Author

Why is this project critical? Why should we accept it?

Rhai is very popular embedded scripting language for rust applications, if you are familiar with Lua, this effectively fills the same niche except that it is written in and integrates with rust, and has a more rust like syntax.

Rhai has;

Rhai is used in various high profile projects including;

Copy link
Contributor

@jonathanmetzman jonathanmetzman left a comment

Choose a reason for hiding this comment

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

LGTM

@jonathanmetzman jonathanmetzman merged commit 5e139f7 into google:master Nov 17, 2023
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