Org change to aws #2596
Merged
Org change to aws #2596
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
camshaft
reviewed
Feb 18, 2021
Co-authored-by: Cameron Bytheway <bytheway.cameron@gmail.com>
Was mostly focused on URLs, let me do another revision with a complete g/s// |
dougch
force-pushed
the
org_move
branch
3 times, most recently
from
b4ea3d3 to
ff59b5d
Compare
ttjsu-aws
reviewed
Feb 18, 2021
|
Some of the links seem to be broken due to a space introduced after s2n-tls and needs to be removed. Ex: |
dougch
force-pushed
the
org_move
branch
4 times, most recently
from
c35e220 to
b23b262
Compare
regex got away from me; updated in recent push |
ttjsu-aws
reviewed
Feb 18, 2021
Co-authored-by: Cameron Bytheway <bytheway.cameron@gmail.com>
ttjsu-aws
reviewed
Feb 18, 2021
Co-authored-by: Tejeswini Sundaram <40477596+ttjsu-aws@users.noreply.github.com>
ttjsu-aws
reviewed
Feb 19, 2021
Co-authored-by: Tejeswini Sundaram <40477596+ttjsu-aws@users.noreply.github.com>
ttjsu-aws
approved these changes
Feb 19, 2021
|
Looking into these proof failures. It could be due to a new version of CBMC that was recently released. I'm going to downgrade CBMC to 5.15 and see if that helps. |
camshaft
requested changes
Feb 19, 2021
Co-authored-by: Cameron Bytheway <bytheway.cameron@gmail.com>
Co-authored-by: Cameron Bytheway <bytheway.cameron@gmail.com>
Co-authored-by: Cameron Bytheway <bytheway.cameron@gmail.com>
Co-authored-by: Cameron Bytheway <bytheway.cameron@gmail.com>
Co-authored-by: Cameron Bytheway <bytheway.cameron@gmail.com>
Co-authored-by: Cameron Bytheway <bytheway.cameron@gmail.com>
Co-authored-by: Cameron Bytheway <bytheway.cameron@gmail.com>
Co-authored-by: Tejeswini Sundaram <40477596+ttjsu-aws@users.noreply.github.com>
Co-authored-by: Tejeswini Sundaram <40477596+ttjsu-aws@users.noreply.github.com>
Co-authored-by: Cameron Bytheway <bytheway.cameron@gmail.com>
Co-authored-by: Cameron Bytheway <bytheway.cameron@gmail.com>
Co-authored-by: Cameron Bytheway <bytheway.cameron@gmail.com>
Co-authored-by: Cameron Bytheway <bytheway.cameron@gmail.com>
Co-authored-by: Cameron Bytheway <bytheway.cameron@gmail.com>
camshaft
approved these changes
Mar 3, 2021
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Resolved issues:
Moving to AWS from AWSLabs
Description of changes:
Documentation update (and initial CI verification)
Call-outs:
Redirects are in place to mostly mask the move.
Testing:
This PR is the testing.
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.