Skip to content

Create a script for archiving source repositories#38

Merged
pmbittner merged 1 commit intomainfrom
benjamin/replication
Jun 21, 2022
Merged

Create a script for archiving source repositories#38
pmbittner merged 1 commit intomainfrom
benjamin/replication

Conversation

@ibbem
Copy link
Copy Markdown
Collaborator

@ibbem ibbem commented Jun 21, 2022

This script is for #35.

Copy link
Copy Markdown
Member

@pmbittner pmbittner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nice

@pmbittner pmbittner merged commit c3f3848 into main Jun 21, 2022
@ibbem ibbem deleted the benjamin/replication branch June 22, 2022 11:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants