Skip to content

chore: refresh data#72

Merged
mnahkies merged 4 commits intomasterfrom
mn/chore/refresh-data
Sep 16, 2023
Merged

chore: refresh data#72
mnahkies merged 4 commits intomasterfrom
mn/chore/refresh-data

Conversation

@mnahkies
Copy link
Copy Markdown
Owner

No description provided.

Base automatically changed from mn/fix/dep-graph to master September 16, 2023 11:05
mnahkies added a commit that referenced this pull request Sep 16, 2023
the latest github api definitions
(#72) include
structures like:
```
    repository-rule-detailed:
      title: Repository Rule
      type: object
      description: A repository rule with ruleset details.
      oneOf:
      - allOf:
        - "$ref": "#/components/schemas/repository-rule-creation"
        - "$ref": "#/components/schemas/repository-rule-ruleset-info"
      - allOf:
        - "$ref": "#/components/schemas/repository-rule-update"
        - "$ref": "#/components/schemas/repository-rule-ruleset-info"
```

which weren't being considered by the dependency graph correctly,
causing use before define errors to be emitted.
@mnahkies mnahkies marked this pull request as ready for review September 16, 2023 11:31
@mnahkies mnahkies enabled auto-merge (squash) September 16, 2023 11:31
@mnahkies mnahkies merged commit a00d643 into master Sep 16, 2023
@mnahkies mnahkies deleted the mn/chore/refresh-data branch September 16, 2023 11:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant