DC/dc-project
1
1
Fork 0
Code Issues 25 Pull Requests 2 Actions Packages Projects Releases Wiki Activity

Optimize CI #82

Merged
flecomte merged 5 commits from lint into master 2021-03-25 02:07:52 +01:00
Conversation 0 Commits 5 Files Changed 4 +50 -29
flecomte commented 2021-03-24 22:00:36 +01:00 (Migrated from github.com)
Copy Link
No description provided.
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
article
authentification
bug
Something isn't working
 ci/cd
citizen
clean
code quality
comments
constitution
database
dependencies
Pull requests that update a dependency file
 design
documentation
Improvements or additions to documentation
 duplicate
This issue or pull request already exists
 elasticsearch
enhancement
New feature or request
 fixture
follow
help wanted
Extra attention is needed
 infrastructure
invalid
This doesn't seem right
 moderating
monitoring
notification
openapi
opinion
question
Further information is requested
 refactoring
relationship
search engine
Security
stats
tests
user
validation
vote
voters
wiziwig
wontfix
This will not be worked on
 workgroup
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
flecomte
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: DC/dc-project#82
Delete Branch "lint"

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?