Labels can be applied to issues and merge requests to categorize them
You can also star a label to make it a priority label.
Planned maintenance for git.whoi.edu is scheduled for Wed 27th of August (2025-08-27) is concluded.
If you previously used SSH keys, you will need to switch to using HTTPS and Access Tokens for your projects; git.whoi.edu has disabled the use of SSH keys to push/pull/fetch repositories.
If you experience continued service disruption, contact sbatchelder@whoi.edu.
You can also star a label to make it a priority label.