Oct 9, 10:10 AM EDT: A user started a stack merge that includes this pull request via Graphite.
Oct 9, 10:11 AM EDT: Graphite couldn't merge this PR because it failed for an unknown reason (Your branch contains merge commits, which are not allowed to be merged into your trunk branch due to GitHub branch production settings. This is typically enforced via the 'Require linear history' setting in GitHub.).
Oct 9, 5:30 PM EDT: A user started a stack merge that includes this pull request via Graphite.
Oct 9, 5:31 PM EDT: Graphite couldn't merge this PR because it failed for an unknown reason (Your branch contains merge commits, which are not allowed to be merged into your trunk branch due to GitHub branch production settings. This is typically enforced via the 'Require linear history' setting in GitHub.).
Oct 10, 10:21 AM EDT: A user started a stack merge that includes this pull request via Graphite.
Oct 10, 10:21 AM EDT: Graphite couldn't merge this PR because it failed for an unknown reason (Your branch contains merge commits, which are not allowed to be merged into your trunk branch due to GitHub branch production settings. This is typically enforced via the 'Require linear history' setting in GitHub.).
Oct 10, 10:47 AM EDT: A user started a stack merge that includes this pull request via Graphite.
Oct 10, 10:47 AM EDT: A user merged this pull request with Graphite.
Bumping types