DCPetty

Moving repositories from psb-david-petty to dcpetty

In order to move the repository repo from psb-david-petty to dcpetty — assuming there are psb-david-petty & dcpetty directories containing their respective Github repos:

  1. Create https://github.com/dcpetty/repo with README.md & MIT License.
  2. Enable Github Pages. Settings → Pages → Deploy from a branch: main → Save.
  3. Copy the git clone URI for SSH (git@github.com:dcpetty/repo).
  4. git clone git@github.com:dcpetty/repo into the dcpetty directory.
  5. Add the appropriate [user] information (below) to repo/.git/config.
  6. Copy the latest .gitignore from dcpetty.github.io.
  7. Copy repository files from the psb-david-petty directory to the dcpetty directory.
  8. git add as appropriate.

The appropriate [user] information in repo/.git/config for dcpetty repositories is:

[user]
    name = dcpetty
    email = 1700736+dcpetty@users.noreply.github.com

The appropriate [user] information in repo/.git/config for psb-david-petty repositories is:

[user]
    name = psb-david-petty
    email = 43327098+psb-david-petty@users.noreply.github.com

🔗 permalink and 🔩 repository for this page.

This site is open source. Improve this page.