Skip to content

ci: Remove website from git archive#2420

Merged
Xuanwo merged 1 commit intomainfrom
remove-website-from-release
Jun 5, 2023
Merged

ci: Remove website from git archive#2420
Xuanwo merged 1 commit intomainfrom
remove-website-from-release

Conversation

@Xuanwo
Copy link
Copy Markdown
Member

@Xuanwo Xuanwo commented Jun 5, 2023

This PR will remove website from git archive.

Signed-off-by: Xuanwo <github@xuanwo.io>
@Xuanwo Xuanwo requested a review from tisonkun June 5, 2023 14:47
@Xuanwo Xuanwo marked this pull request as ready for review June 5, 2023 14:47
@github-actions github-actions Bot added the releases-note/ci The PR modifies CI-related content or has a title that begins with "ci" label Jun 5, 2023
@Xuanwo Xuanwo merged commit e6a7774 into main Jun 5, 2023
@Xuanwo Xuanwo deleted the remove-website-from-release branch June 5, 2023 15:06
@suyanhanx suyanhanx mentioned this pull request Jun 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

releases-note/ci The PR modifies CI-related content or has a title that begins with "ci"

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants