Skip to content

Conversation

@nlharris
Copy link
Member

No description provided.

tiny typo correction to try out GH Desktop workflow
@nlharris
Copy link
Member Author

i tried doing this from github desktop instead of from the command line. not sure it was easier. i still had to do several syncs and pushes and whatnot from both gh desktop and github.com.

@gedankenstuecke gedankenstuecke merged commit 11b6171 into OBF:main Feb 12, 2025
@gedankenstuecke
Copy link
Member

I think some of the problem comes from re-using the same branch names after they have already been merged into this repository, as then you need to make a round-trip to update first your local feature-branch with what is now main and then can make a PR again.

If you want to stick to the date, it would maybe help to append some "name" of what you're trying to fix, I think that would help with making it easier to make PRs :)

@nlharris
Copy link
Member Author

Ah, ok, thanks!

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