Labels Milestones

New Pull Request

Pipeline #1

Merged

sev merged 1 commits from pipeline into master 5 years ago

Conversation 0 Commits 1 Files Changed 1

sev commented 5 years ago

Owner

Mirror to GitHub

Mirror to GitHub

sev added 1 commit 5 years ago

ci the build was successful

Details

7b841e634b Added pipeline mirror2github

sev merged commit bb1f3c1662 into master 5 years ago

sev referenced this issue from a commit 5 years ago

Pipeline (#1)

sev deleted branch pipeline 5 years ago

ci the build was successful

Details

The pull request has been merged as bb1f3c1662.

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

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

This pull request currently doesn't have any dependencies.

Write Preview

Loading…

Cancel

Save

There is no content yet.