ignore generated docs #74
floatingghost
commented 2022-07-15 12:30:36 +00:00
Owner
No description provided.
floatingghost
added 1 commit 2022-07-15 12:30:36 +00:00
ignore generated docs
0e7b248036
Some checks are pending
ci/woodpecker/push/lint Pipeline is pending
Details
ci/woodpecker/push/release Pipeline is pending
Details
ci/woodpecker/push/test Pipeline is pending
Details
ci/woodpecker/pr/lint Pipeline is pending
Details
ci/woodpecker/pr/release Pipeline is pending
Details
ci/woodpecker/pr/test Pipeline is pending
Details
floatingghost
merged commit 656afe7803 into develop 2022-07-15 12:30:40 +00:00
floatingghost
deleted branch gitignore 2022-07-15 12:30:40 +00:00
floatingghost
referenced this pull request from a commit 2022-07-15 12:30:40 +00:00
Merge pull request 'ignore generated docs' (#74) from gitignore into develop
rat
referenced this pull request from a commit 2024-02-25 20:33:28 +00:00
Merge pull request 'ignore generated docs' (#74) from gitignore into develop
No reviewers
Labels
No labels
approved, awaiting change
bug
configuration
documentation
duplicate
enhancement
extremely low priority
feature request
Fix it yourself
help wanted
invalid
mastodon_api
needs docs
needs tests
not a bug
planned
pleroma_api
privacy
question
static_fe
triage
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: AkkomaGang/akkoma#74
Loading…
Reference in a new issue
No description provided.
Delete branch "gitignore"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?