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.

Sign up for GitHub

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

Jump to bottom

Remove unused Open Enclave tools #563

Closed
3 tasks done
CodeMonkeyLeet opened this issue Aug 21, 2018 · 1 comment
Closed
3 tasks done

Remove unused Open Enclave tools #563

CodeMonkeyLeet opened this issue Aug 21, 2018 · 1 comment
Assignees
@radhikaj
Labels
engineering Issue is related to tools and processes necessary for maintaining the Open Enclave repo
Projects
Public preview

Comments

@CodeMonkeyLeet
Copy link
Contributor

CodeMonkeyLeet commented Aug 21, 2018 •
edited

Per mail thread, we should remove the following sources under the tools/ folder since they are now redundant:
@CodeMonkeyLeet CodeMonkeyLeet added the engineering Issue is related to tools and processes necessary for maintaining the Open Enclave repo label Aug 21, 2018
@CodeMonkeyLeet CodeMonkeyLeet added this to Backlog in Public preview via automation Aug 21, 2018
This was referenced Aug 21, 2018
Closed
Closed
@radhikaj radhikaj self-assigned this Aug 21, 2018
@CodeMonkeyLeet CodeMonkeyLeet moved this from Backlog to In progress in Public preview Aug 24, 2018
@radhikaj radhikaj mentioned this issue Aug 27, 2018
Merged
soccerGB added a commit that referenced this issue Aug 27, 2018
@soccerGB
Merge pull request #598 from Microsoft/radhikajoeelfoedump
ccb0f43 
Remove oeelf and oedump #563
@radhikaj radhikaj closed this as completed Sep 4, 2018
Public preview automation moved this from In progress to Done Sep 4, 2018
@CodeMonkeyLeet
Copy link
Contributor Author

Resolved by #562 and #598

mikbras pushed a commit that referenced this issue Sep 12, 2018
@soccerGB
Merge pull request #598 from Microsoft/radhikajoeelfoedump
8a17853 
Remove oeelf and oedump #563
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@radhikaj radhikaj

Labels
engineering Issue is related to tools and processes necessary for maintaining the Open Enclave repo
Projects
No open projects
Public preview
  
Done
Milestone
No milestone
Development

No branches or pull requests
2 participants
@radhikaj @CodeMonkeyLeet