Skip to content

Conversation

@probonopd
Copy link
Member

No description provided.

@probonopd
Copy link
Member Author

Blocked by AppImage/AppImageKit#510 (comment)

@probonopd
Copy link
Member Author

Addressed in AppImage/AppImageKit@19bdc15

@Aztorius
Copy link

Aztorius commented Jun 17, 2018

I just saw this PR. Thanks !
Is It ready or is there something missing in order to merge ?

PS: i'm moving to Gitlab but I will keep the Github repo as a mirror.

@probonopd probonopd merged commit 4f87ce9 into master Jun 17, 2018
@probonopd probonopd deleted the MagicFountain branch June 17, 2018 15:49
@probonopd
Copy link
Member Author

Thanks @Aztorius - merged.
Is there an automated way to move to GitLab and then set up GitHub to mirror GitLab?

@Aztorius
Copy link

Yep. I just found out today. You can first import the GitHub project to GitLab. Then on GitLab, on the project page -> Settings -> Repository, "Push to a remote repository" you can add a link to the GitHub repo, something like : https://Aztorius:TOKEN@github.com/Aztorius/magicfountain.git where TOKEN is a Personal Access Token created on GitHub with public_repo access allowed.
More here : https://docs.gitlab.com/ee/workflow/repository_mirroring.html

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.

3 participants