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

Documentation updates #210

Merged
merged 43 commits into from Oct 13, 2023
Merged

Documentation updates #210

merged 43 commits into from Oct 13, 2023

Conversation

AoifeHughes
Copy link
Contributor

No description provided.

@AoifeHughes AoifeHughes added the documentation Improvements or additions to documentation label Aug 3, 2023
@AoifeHughes AoifeHughes marked this pull request as ready for review August 3, 2023 07:40
@coveralls
Copy link

Pull Request Test Coverage Report for Build 5747966733

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 88.942%

Totals Coverage Status
Change from base Build 5735796355: 0.0%
Covered Lines: 1295
Relevant Lines: 1456

💛 - Coveralls

@AoifeHughes
Copy link
Contributor Author

@chrisdburr I saw this branch had a lot of changes and had fallen out of sync a bit with main. I tidied it up a bit so it can be merged whenever you think it's ready!

@AoifeHughes
Copy link
Contributor Author

AoifeHughes commented Aug 3, 2023

If you're still adding on your side you'll need a git pull on this branch first though as I merged it with main's latest changes in 2a72482

@chrisdburr
Copy link
Collaborator

@chrisdburr I saw this branch had a lot of changes and had fallen out of sync a bit with main. I tidied it up a bit so it can be merged whenever you think it's ready!

Thanks, @Aoife. I wasn't planning to merge it just yet, because the drafts will then be compiled into the pages for the site. Probably a good idea to discuss and agree on criteria for merging though.

@AoifeHughes
Copy link
Contributor Author

Okie dokie, I'll change back to a draft for now

@AoifeHughes AoifeHughes marked this pull request as draft August 3, 2023 08:06
@AoifeHughes AoifeHughes marked this pull request as ready for review August 21, 2023 09:00
@AoifeHughes AoifeHughes self-assigned this Sep 6, 2023
@AoifeHughes AoifeHughes merged commit 448a27f into main Oct 13, 2023
9 of 17 checks passed
@AoifeHughes AoifeHughes deleted the documentation branch October 19, 2023 09:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants