Github manual merge

Changes the copy button at the top of a pull-request to copy a git command to pull to a pr branch

יש גרסאות של סקריפט זה עם קוד מעודכן. הצג את כל הגרסאות

  • v2.4 19-06-2025
  • v2.3 01-06-2024
  • v2.2 13-03-2024

    typo

  • v2.1 13-03-2024

    Force update local branches

  • v2.0 19-02-2024
  • v1.0 19-02-2024
  • v0.1 19-02-2024