Skip to content

Conversation

fredericDelaporte
Copy link
Member

I intend to push directly the merge commit, if this PR is validated.

@fredericDelaporte
Copy link
Member Author

The async regen has found a file to delete, so I have to amend my merge it seems.

@fredericDelaporte
Copy link
Member Author

fredericDelaporte commented Jan 29, 2023

Well that is odd, double async regen, the second one undoing what the first has done... I guess I will still push directly the merge commit as it is.

A local async regen does not change any files.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants