Labels Milestones

#16 -- Remove repo after indexing #42

Merged

romanov73 merged 1 commits from 16-indexing into master 3 years ago

Conversation 1 Commits 1 Files Changed 1

romanov73 commented 3 years ago (Migrated from gitlab.com)

Closes #16

Closes #16

romanov73 commented 3 years ago (Migrated from gitlab.com)

mentioned in commit a867c12b33

mentioned in commit a867c12b337dd8995684ac9c6948f276af865f91

The pull request has been merged as a867c12b33.

You can also view command line instructions.

Step 1:

From your project repository, check out a new branch and test the changes.

git checkout -b 16-indexing master

git pull origin 16-indexing

Step 2:

Merge the changes and update on Gitea.

git checkout master

git merge --no-ff 16-indexing

git push origin master

Sign in to join this conversation.

Reviewers

Request review

No reviewers

Labels

Apply labels

Clear labels

No items

No Label

Milestone

Set milestone

Clear milestone

No items

No Milestone

Ввод и фильтрация данных

Projects

Set Project

Clear projects

No project

Assignees

Assign users

Clear assignees

No Assignees

1 Participants

Notifications

Subscribe

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: romanov73/git-extractor#42

Write Preview

Loading…

Cancel

Save

There is no content yet.