Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Adding more details to the developer documentation #202

Merged
merged 8 commits into from
May 28, 2024

Conversation

shimwell
Copy link
Collaborator

Description

Adding sections to the developer documentation

  • Developer install with Mamba
  • Building the docs locally
  • Running the tests locally
  • Merging a pull requests
  • Releasing a new version
  • Conda Forge Releasing

Checklist

  • I'm making a PR from a feature branch on my fork into GEOUNED-org/GEOUNED/dev branch
  • I have made corresponding changes to the documentation

@shimwell
Copy link
Collaborator Author

this one is ready for review if anyone has time.

it just updates the docs, no changes to the source code

@psauvan psauvan merged commit ef80ed2 into GEOUNED-org:dev May 28, 2024
3 checks passed
psauvan pushed a commit that referenced this pull request Jun 17, 2024
* moved two methods out of start

* removed unnecessary logger line

* added dev docs

* removed random commit file
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants