tree ee263d8645419093ab09eb7fe46aecec4ece6dfb
parent d8de29c4472e2f744a1bed37d7ec8710b1feebb8
author LaMont Jones <lamontjones@google.com> 1649949043 +0000
committer LaMont Jones <lamontjones@google.com> 1649969805 +0000

ManifestProject: add manifest_platform

And fix most of the other attributes to return the value instead of
None.

Change-Id: Iddcbbeb56238ee082bb1cae30adbd27a2f551f3d
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/335134
Tested-by: LaMont Jones <lamontjones@google.com>
Reviewed-by: Raman Tenneti <rtenneti@google.com>
Reviewed-by: Xin Li <delphij@google.com>