This website requires JavaScript.
Explore
SSH Host Keys
Package Repositories
Git Workflow Documentation
Help
Sign In
kudos
/
_ObsPrj
SHA256
Watch
2
Star
0
Fork
0
You've already forked _ObsPrj
Code
Issues
Pull Requests
Activity
Labels
Milestones
New Pull Request
0 Open
14 Closed
Label
Show archived labels
Use
alt
+
click/enter
to exclude labels
All labels
No label
Milestone
All milestones
No milestones
Project
All projects
No project
Author
All users
Assignee
Assigned to nobody
Assigned to anybody
autogits-devel
(Git Workflow Bot for Devel Projects)
lkocman
(Lubos Kocman)
Sort
Newest
Oldest
Most recently updated
Least recently updated
Most commented
Least commented
Nearest due date
Farthest due date
0 Open
14 Closed
Label
Clear labels
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
No assignee
autogits-devel
lkocman
Forwarded PRs:
#14
by
autogits-devel
was closed
2026-06-30 17:02:37 +02:00
main
PR_kudos#9
3
Forwarded PRs:
#13
by
autogits-devel
was closed
2026-06-22 19:31:06 +02:00
main
PR_kudos#7
1
Forwarded PRs:
#12
by
autogits-devel
was closed
2026-06-22 19:22:25 +02:00
main
PR_kudos-bots#2
3
Forwarded PRs:
#11
by
autogits-devel
was closed
2026-05-26 15:03:24 +02:00
main
PR_.profile#1
1
Forwarded PRs: kudos
#10
by
autogits-devel
was merged
2026-05-22 13:42:24 +02:00
main
PR_kudos#6
2
Forwarded PRs:
#9
by
autogits-devel
was closed
2026-05-25 14:54:32 +02:00
main
PR_kudos-bots#1
8
Forwarded PRs:
#8
by
autogits-devel
was closed
2026-05-20 13:07:40 +02:00
main
PR_kudos#5
4
Forwarded PRs:
#7
by
autogits-devel
was closed
2026-03-30 11:01:55 +02:00
main
PR_kudos#4
2
Forwarded PRs:
#6
by
autogits-devel
was closed
2026-03-29 14:42:27 +02:00
main
PR_kudos-badges#3
1
Forwarded PRs:
#5
by
autogits-devel
was closed
2026-03-26 17:25:39 +01:00
main
PR_kudos#3
1
Forwarded PRs:
#4
by
autogits-devel
was closed
2026-03-26 13:33:12 +01:00
main
PR_kudos#2
1
Forwarded PRs:
#3
by
autogits-devel
was closed
2026-03-26 03:29:19 +01:00
main
PR_kudos#1
1
Forwarded PRs:
#2
by
autogits-devel
was closed
2026-03-24 22:13:05 +01:00
main
PR_kudos-badges#2
1
Forwarded PRs:
#1
by
autogits-devel
was closed
2026-03-24 20:46:45 +01:00
main
PR_kudos-badges#1
1