Create a mirror to Github #9
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
It is required to create a repository in Github to host the open-sourced library and also, to create a push mirror from this particular repository.
⚠️ It is important to mention that there is already a Personal Access Token created for the purpose of creating push mirrors between Gitea and Githubs repositories.
A public repostiory has been set on Github at this location, and a push mirror link between this repository and the one in Github has been set as well.