| commit | 76165d4d59d2f4cbb1dc54d591d5930d68f96569 | [log] [tgz] |
|---|---|---|
| author | Ben Keller <galbanum@fuchsia.infra.roller.google.com> | Wed Jul 19 19:14:59 2023 +0000 |
| committer | Copybara-Service <copybara-worker@google.com> | Wed Jul 19 12:17:14 2023 -0700 |
| tree | 7e23a05ea37aa6346b188fa6b28635e94eb0cbd4 | |
| parent | 00b3ad192faa2a547f14197649e69981a9a997f6 [diff] |
[roll] Roll fuchsia [devshell] Delete build-push and push-package They are deprecated and have not been used since May. Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/886654 Original-Revision: 847c29df988eb76dc1a763c59ab29395756aae59 GitOrigin-RevId: 496772a123edce4166c1a1f836a30005e90d2bd6 Change-Id: I5801fa2a16d7da9143f46bea865c2f1ca1058f1c
This repository contains Fuchsia's Global Integration manifest files.
All changes should be made to the internal version of this repository. Our infrastructure automatically updates this version when the internal one changes.
Currently all changes must be made by a Google employee. Non-Google employees wishing to make a change can ask for assistance via the IRC channel #fuchsia on Freenode.
First install Jiri.
Next run:
$ jiri init $ jiri import minimal https://fuchsia.googlesource.com/integration $ jiri update
Third party projects should have their own subdirectory in ./third_party.