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

docs: Known issue of wrong remote #26

Merged
merged 1 commit into from
Jul 16, 2024
Merged

docs: Known issue of wrong remote #26

merged 1 commit into from
Jul 16, 2024

Conversation

timmc-edx
Copy link
Member

Also link to updating-devstack more prominently.

I wish I had more specific instructions for the broader issue of detecting and fixing bad repo remotes. But at least there's a section to point to now.


I've completed each of the following or determined they are not applicable:

  • Made a plan to communicate any major developer interface changes (or N/A)

I wish I had more specific instructions for the broader issue of
detecting and fixing bad repo remotes. But at least there's a section
to point to now.

Also link to updating-devstack more prominently.
@timmc-edx timmc-edx merged commit 1074f6b into master Jul 16, 2024
5 checks passed
@timmc-edx timmc-edx deleted the timmc/wrong-remote branch July 16, 2024 16:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants