Mirror to other git server

Workflow runs for Mirror to other git server

• Merge pull request #76 from katilingban:dev

  completed successfully:
  Mirror to other git server#9:Commita52089epushedbyernestguevarra
  main

  Jan 30, 202617s
  More actions for workflow run 9

• Merge pull request #74 from katilingban:dev

  completed successfully:
  Mirror to other git server#8:Commit9582578pushedbyernestguevarra
  main

  Jan 30, 202614s
  More actions for workflow run 8