Skip to content
This repository has been archived by the owner on Jan 9, 2023. It is now read-only.

GitHub Sync #7

Closed
wants to merge 1 commit into from
Closed

GitHub Sync #7

wants to merge 1 commit into from

Conversation

nshahan
Copy link
Contributor

@nshahan nshahan commented Mar 15, 2018

This is an automatically generated pull request.

@nshahan nshahan force-pushed the 8AD5D267CC52B9D2620A0C62FBADAA17 branch 4 times, most recently from ef9f3b4 to 1d395e4 Compare March 15, 2018 23:16
PiperOrigin-RevId: 189252856
@nshahan nshahan force-pushed the 8AD5D267CC52B9D2620A0C62FBADAA17 branch from b31cc9b to b56a7bb Compare March 15, 2018 23:21
@googlebot
Copy link

We found a Contributor License Agreement for you (the sender of this pull request), but were unable to find agreements for the commit author(s). If you authored these, maybe you used a different email address in the git commits than was used to sign the CLA (login here to double check)? If these were authored by someone else, then they will need to sign a CLA as well, and confirm that they're okay with these being contributed to Google.
In order to pass this check, please resolve this problem and have the pull request author add another comment and the bot will run again. If the bot doesn't comment, it means it doesn't think anything has changed.

@nshahan
Copy link
Contributor Author

nshahan commented Mar 15, 2018

Still working out sync issues.

@nshahan nshahan closed this Mar 15, 2018
@nshahan nshahan deleted the 8AD5D267CC52B9D2620A0C62FBADAA17 branch March 15, 2018 23:53
@Nik99 Nik99 mentioned this pull request Sep 10, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants