steveej/infra
1
0
Fork 0
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity Actions

Pr/bump #34

Merged
steveej merged 3 commits from pr/bump into master 2019-12-10 17:33:28 +00:00
Conversation 2 Commits 3 Files changed 3 +11 -6
steveej commented 2019-12-10 17:32:55 +00:00 (Migrated from gitlab.com)
Copy link
No description provided.
steveej (Migrated from gitlab.com) scheduled this pull request to auto merge when all checks succeed 2019-12-10 17:33:01 +00:00
steveej commented 2019-12-10 17:33:28 +00:00 (Migrated from gitlab.com)
Copy link

merged

merged
steveej commented 2019-12-10 17:33:28 +00:00 (Migrated from gitlab.com)
Copy link

mentioned in commit 6ae18f8dd6

mentioned in commit 6ae18f8dd629067bd248bea07ea01f67e5e8adfe
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
bug

   
confirmed

   
critical

   
discussion

   
documentation

   
enhancement

   
suggestion

   
support
No labels
bug
confirmed
critical
discussion
documentation
enhancement
suggestion
support
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
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: steveej/infra#34
No description provided.
Delete branch "pr/bump"

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?