Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

add script to mirror skara repos into github #1483

Merged
merged 4 commits into from
Feb 2, 2020

Conversation

gdams
Copy link
Member

@gdams gdams commented Jan 21, 2020

Copy link
Contributor

@andrew-m-leonard andrew-m-leonard left a comment

Choose a reason for hiding this comment

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

Looks good

@karianna karianna added the enhancement Issues that enhance the code or documentation of the repo in any way label Jan 22, 2020
@karianna karianna added this to TODO in temurin-build via automation Jan 22, 2020
@karianna karianna added this to the January 2020 milestone Jan 22, 2020
@karianna
Copy link
Contributor

@gdams - Have we confirmed with Skara folks that their repositories are going to be stable (not get removed)? Doesn't stop this PR from going through of course :-)

@gdams
Copy link
Member Author

gdams commented Jan 22, 2020

Have we confirmed with Skara folks that their repositories are going to be stable (not get removed)?

@karianna I am in the process of double-checking :)

@karianna karianna moved this from TODO to In Progress in temurin-build Jan 22, 2020
@johnoliver johnoliver merged commit a05e6d5 into adoptium:master Feb 2, 2020
temurin-build automation moved this from In Progress to Done Feb 2, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Issues that enhance the code or documentation of the repo in any way
Projects
No open projects
temurin-build
  
Done
Development

Successfully merging this pull request may close these issues.

None yet

4 participants