-
Notifications
You must be signed in to change notification settings - Fork 1
Create a Pull Request to the Update the Main Repository
Thái Sơn Hoàng edited this page May 26, 2022
·
2 revisions
To populate the changes to the main repository, please follow the steps below.
-
Commit and push the changes to the forked repository
-
Create a pull request to the
mainbranch of this repository -
Make sure the comment for the pull request describes the changes
- The Rodin Platform base
- The list of updated features.
(c) University of Southampton