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

Task name updating #34

Merged
merged 8 commits into from
Jul 3, 2023
Merged

Conversation

jhdark
Copy link
Collaborator

@jhdark jhdark commented Jul 3, 2023

Integrating the new permeation task to be task 3, bumping all the following tasks by one.

Not sure if you want to use the PR as an opportunity to add anything else to the README @RemDelaporteMathurin

@RemDelaporteMathurin
Copy link
Collaborator

Maybe remove the Codespaces beta thing?

@jhdark
Copy link
Collaborator Author

jhdark commented Jul 3, 2023

Maybe remove the Codespaces beta thing?

Think I did that in the last commit

@RemDelaporteMathurin RemDelaporteMathurin merged commit 13ebeb5 into festim-dev:main Jul 3, 2023
1 check passed
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.

2 participants