romanov73/git-extractor
1
0
Fork 0
Code Issues 1 Pull Requests Projects Releases Wiki Activity

#16 -- Remove repo after indexing #42

Merged
romanov73 merged 1 commits from 16-indexing into master 2021-03-29 17:03:00 +04:00
Conversation 1 Commits 1 Files Changed 1 +10 -4
romanov73 commented 2021-03-29 17:02:43 +04:00 (Migrated from gitlab.com)
Copy Link

Closes #16

Closes #16
romanov73 commented 2021-03-29 17:03:00 +04:00 (Migrated from gitlab.com)
Copy Link

mentioned in commit a867c12b33

mentioned in commit a867c12b337dd8995684ac9c6948f276af865f91
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone Ввод и фильтрация данных
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: romanov73/git-extractor#42
No description provided.
Delete Branch "16-indexing"

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?