Skip to content

[WIP] Additional integration tests for repofiles#445

Closed
shreyas-goenka wants to merge 1 commit into
mainfrom
remove-repofiles
Closed

[WIP] Additional integration tests for repofiles#445
shreyas-goenka wants to merge 1 commit into
mainfrom
remove-repofiles

Conversation

@shreyas-goenka
Copy link
Copy Markdown
Contributor

Changes

Tests

@shreyas-goenka shreyas-goenka changed the title [WIP] Use filer in sync [WIP] Additional integration tests for repofiles Jun 8, 2023
@pietern
Copy link
Copy Markdown
Contributor

pietern commented Jun 12, 2023

This is superseded by #425. We're using the filer in sync since that PR.

@pietern pietern closed this Jun 12, 2023
@pietern pietern deleted the remove-repofiles branch June 12, 2023 11:45
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.

2 participants