"Factory reset" GitHub.dev web editor

[StevenClontz]

Select Topic Area

Product Feedback

Body

It's unclear why, but my master branch on a certain repo is always marked as master* with no files actually changed and a pull request that's actually already merged. Is this some kind of caching issue? I want to try a "factory reset" of my web editor, if that's even possible (this happens on multiple browsers, so it's either something cached on GitHub's servers, or something weird with my repository itself).

[ettaboyle]

Welcome to the GitHub Community, @StevenClontz, we're happy you're here! You are more likely to get a useful response if you are posting your question(s) in the applicable category and are explicit about what your project entails--giving a few more details might help someone give you a nudge in the right direction. I've gone ahead and moved it from general to repositories for you.

FYI I found this in the GitHub Docs in case its helpful: Changing the default branch
If you have more than one branch in your repository, you can configure any branch as the default branch.

• About changing the default branch
• Prerequisites
• Changing the default branch

Good luck!

[github-actions[bot]]

🕒 Discussion Activity Reminder 🕒

This Discussion has been labeled as dormant by an automated system for having no activity in the last 60 days. Please consider one the following actions:

1️⃣ Close as Out of Date: If the topic is no longer relevant, close the Discussion as out of date at the bottom of the page.

2️⃣ Provide More Information: Share additional details or context — or let the community know if you've found a solution on your own.

3️⃣ Mark a Reply as Answer: If your question has been answered by a reply, mark the most helpful reply as the solution.

Note: This dormant notification will only apply to Discussions with the Question label. To learn more, see our recent announcement.

Thank you for helping bring this Discussion to a resolution! 💬