[roll] Roll infra/recipes [auto_roller] Add hashtags option

This is not strictly necessary since there's a push_options property,
but this is easier to use.

Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/infra/recipes/+/1291046
Original-Revision: 2286d3da0af644eac1568647f3e6ba9aba090f7b
GitOrigin-RevId: 6085cb3b2aeb6900b8884f3e1a18caeff745b469
Change-Id: I14f3cd5cddde2144116dca5cce4929da052062b4
1 file changed
tree: aec5a165ea37aad3633a68f2d9a20d039eab0465
  1. ctf/
  2. git-hooks/
  3. infra/
  4. third_party/
  5. flower
  6. jiri.lock
  7. MILESTONE
  8. minimal
  9. prebuilts
  10. README.md
  11. stem
  12. test_durations
README.md

Integration

This repository contains Fuchsia's Global Integration manifest files.

Making changes

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 in one of the communication channels documented at get involved.

Obtaining the source

First install Jiri.

Next run:

$ jiri init
$ jiri import minimal https://fuchsia.googlesource.com/integration
$ jiri update

Third party

Third party projects should have their own subdirectory in ./third_party.