Skip to content

Update PB: Renamed Repo (GitHub)#803

Closed
diegoguerrad wants to merge 2 commits intomainfrom
diegoguerrad-update-renamed-repo-GH
Closed

Update PB: Renamed Repo (GitHub)#803
diegoguerrad wants to merge 2 commits intomainfrom
diegoguerrad-update-renamed-repo-GH

Conversation

@diegoguerrad
Copy link
Copy Markdown
Collaborator

Update instructions on how to handle renamed repos with GitHub

📝 Description

✅ Checklist

  • I have tested this change
  • This change requires documentation update

Update instructions on how to handle renamed repos with GitHub
@skipi
Copy link
Copy Markdown
Collaborator

skipi commented Apr 21, 2026

@diegoguerrad can you resolve the conflict and ping me for a review? 🙇🏻‍♂️

@diegoguerrad
Copy link
Copy Markdown
Collaborator Author

@skipi done, due to the time difference, I'll ping you earlier tomorrow after checking if needed.

@skipi
Copy link
Copy Markdown
Collaborator

skipi commented Apr 23, 2026

@diegoguerrad can you check the PR - i see 0 changes :)

@diegoguerrad
Copy link
Copy Markdown
Collaborator Author

Yes, I'll need to check again @skipi it's been a few months so things have moved

@diegoguerrad
Copy link
Copy Markdown
Collaborator Author

@skipi the changes were applied. I don't know what happened here. There was a glitch back then on GH.
I'll close these and open a new one if needed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Backlog

Development

Successfully merging this pull request may close these issues.

2 participants