Skip to content
This repository has been archived by the owner on Jul 19, 2023. It is now read-only.

Add repo merge script #808

Draft
wants to merge 3 commits into
base: main
Choose a base branch
from
Draft

Add repo merge script #808

wants to merge 3 commits into from

Commits on Jul 18, 2023

  1. Add repo merge script

    @simonswine
    simonswine committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    6dbeb98 View commit details
    Browse the repository at this point in the history

  2. Also handle forgotten go.mods

    @simonswine
    simonswine committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    e9a91e0 View commit details
    Browse the repository at this point in the history

  3. Use the real destination

    @simonswine
    simonswine committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    6abaac4 View commit details
    Browse the repository at this point in the history