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

GitHub Sync #6

Closed
wants to merge 6 commits into from
Closed

GitHub Sync #6

wants to merge 6 commits into from

Conversation

nshahan
Copy link
Contributor

@nshahan nshahan commented Mar 15, 2018

This is an automatically generated pull request.

PiperOrigin-RevId: 188931428
lorrainekan and others added 5 commits March 15, 2018 12:54
PiperOrigin-RevId: 188951931
PiperOrigin-RevId: 189037458
PiperOrigin-RevId: 189088345
Closes #5

PiperOrigin-RevId: 189103894
Adhere to pub package conventions. Mirrored the change in docs/examples --> docs/example just to be consistent and avoid confusion going forward.

PiperOrigin-RevId: 189208234
@nshahan
Copy link
Contributor Author

nshahan commented Mar 15, 2018

Closing. Need to revise sync script to make a top level docs directory.

@nshahan nshahan closed this Mar 15, 2018
@nshahan nshahan deleted the 8AD5D267CC52B9D2620A0C62FBADAA17 branch March 15, 2018 20:02
@Nik99 Nik99 mentioned this pull request Sep 10, 2018
@H25 H25 mentioned this pull request Dec 7, 2019
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.

4 participants