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.

Sign up for GitHub

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

Jump to bottom

Change the name of repo #205

Open
steph1111 opened this issue Feb 18, 2024 · 1 comment
Open

Change the name of repo #205

steph1111 opened this issue Feb 18, 2024 · 1 comment
Labels
later Fix at a later time refactoring Pushing code around

Comments

@steph1111
Copy link
Member

steph1111 commented Feb 18, 2024 •
edited
Loading

The repo should be named something more fitting as we are using it for the 2024 competition and possibly beyond. Perhaps just cabrillo_rov or seahawk. This task also will involve tracking down all links to the repo as they will be broken once it is renamed.
@steph1111 steph1111 added the refactoring Pushing code around label Feb 18, 2024
@steph1111 steph1111 mentioned this issue Feb 18, 2024
Draft
@steph1111
Copy link
Member Author

Mike update: Do this at the end of the semester so we dont screw everyone over

@steph1111 steph1111 added the later Fix at a later time label Mar 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
later Fix at a later time refactoring Pushing code around
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@steph1111