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.

Sign up for GitHub

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

Jump to bottom

Guide to Issue Labels #2277

Open
jkterry1 opened this issue Jul 30, 2021 · 1 comment
Open

Guide to Issue Labels #2277

jkterry1 opened this issue Jul 30, 2021 · 1 comment

Comments

@jkterry1
Copy link
Collaborator

jkterry1 commented Jul 30, 2021 •
edited

I'm using the following issue labels:

MuJuCo: Issue related to MuJuCo. MuJuCo is not being actively maintained at this time, but we welcome community support and contributions and hope to have a better solution to this in the coming months
Help Wanted: We need to figure out what needs to be done with this PR (e.g. answer questions useful to the community, determine if the bug does exist, or determine if the feature should be added)
PR Needed: A PR based on the described logic is needed
Atari: PRs in need of the maintainer of the ALE to take a look at
@jkterry1 jkterry1 pinned this issue Jul 30, 2021
@casabeli
Copy link

hello, good afternoon, did you manage to solve it if you still need help

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jkterry1 @casabeli