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

Justfile: rename yubikey -> gpg-card #26

Merged
steveej merged 1 commit from pr/bump into master 2019-09-06 10:40:18 +00:00
Conversation 2 Commits 1 Files changed 1 +2 -2
steveej commented 2019-09-06 10:40:07 +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-09-06 10:40:16 +00:00
steveej commented 2019-09-06 10:40:18 +00:00 (Migrated from gitlab.com)
Copy link

mentioned in commit f186f5d008

mentioned in commit f186f5d0086194f15df35401984bb838c55b42a8
steveej commented 2019-09-06 10:40:18 +00:00 (Migrated from gitlab.com)
Copy link

merged

merged
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#26
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?