This website requires JavaScript.
Explore
Help
Sign In
phc
/
problemi
Watch
6
Star
3
Fork
0
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
chore: fix wording
#13
Closed
BachoSeven
wants to merge 0 commits from
dev
into
main
pull from: dev
merge into: :main
:main
:dev
Conversation
0
Commits
-
Files Changed
-
+2
-2
BachoSeven
commented
2024-02-16 00:10:35 +00:00
Owner
Copy Link
Copy Source
No description provided.
BachoSeven
closed this pull request
2024-02-16 00:12:25 +00:00
Pull request closed
Please reopen this pull request to perform a merge.
Sign in
to join this conversation.
Reviewers
No Reviewers
Labels
No items
No labels
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Assignees
Clear assignees
BachoSeven
(Francesco Minnocci)
DottorMaelstrom
Fran314
Kratacoa
(Illya Serdyuk)
aziis98
(Antonio De Lucreziis)
lukefleed
(Luca Lombardo)
No Assignees
1 Participants
Notifications
Subscribe
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: phc/problemi#13
Write
Preview
Loading…
x
Add
Cancel
Save
Reference in New Issue
Repository
phc/problemi
Title
Body
Create Issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues.
Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
Pull request closed