Skip to content

Gitignore NFS synchronisation files#1925

Merged
James Frost (jfrost-mo) merged 1 commit intomainfrom
gitignore-nfs-files
Mar 31, 2026
Merged

Gitignore NFS synchronisation files#1925
James Frost (jfrost-mo) merged 1 commit intomainfrom
gitignore-nfs-files

Conversation

@jfrost-mo
Copy link
Copy Markdown
Member

@jfrost-mo James Frost (jfrost-mo) commented Feb 23, 2026

This prevents them from being accidentally committed, as in 48eb715

Contribution checklist

Aim to have all relevant checks ticked off before merging. See the developer's guide for more detail.

  • Documentation has been updated to reflect change.
  • New code has tests, and affected old tests have been updated.
  • All tests and CI checks pass.
  • Ensured the pull request title is descriptive.
  • Conda lock files have been updated if dependencies have changed.
  • Attributed any Generative AI, such as GitHub Copilot, used in this PR.
  • Marked the PR as ready to review.

@jfrost-mo James Frost (jfrost-mo) added small Small issue that should be quick to resolve cleanup Non-functional improvement labels Feb 23, 2026
@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Feb 23, 2026

Coverage

This prevents them from being accidentally committed, as in
48eb715
Copy link
Copy Markdown
Member Author

@jfrost-mo James Frost (jfrost-mo) left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Minor safe gitignore change, merging without review.

@jfrost-mo James Frost (jfrost-mo) merged commit 0a67d6b into main Mar 31, 2026
8 checks passed
@jfrost-mo James Frost (jfrost-mo) deleted the gitignore-nfs-files branch March 31, 2026 08:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cleanup Non-functional improvement small Small issue that should be quick to resolve

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant