This website requires JavaScript.
Explore
Help
Sign In
ddmt
/
gitdts
Watch
1
Star
0
Fork
0
You've already forked gitdts
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
fb274ec54b56d0126bdde024d5316309c83fcc0b
gitdts
/
services
/
pull
History
Jimmy Praet
450b32c1a1
Send notifications for mentions in pulls, issues, (code-)comments (
#14218
) (
#14221
)
...
Co-authored-by: techknowlogick <
techknowlogick@gitea.io
>
2021-01-03 15:44:40 +02:00
..
check_test.go
…
check.go
[Enhancement] Allow admin to merge pr with protected file changes (
#12078
)
2020-10-13 14:50:57 -04:00
commit_status.go
…
lfs.go
…
main_test.go
…
merge.go
Fix Pull Merge when tag with same name as base branch exist (
#13882
) (
#13896
)
2020-12-08 12:58:44 +01:00
patch.go
[Enhancement] Allow admin to merge pr with protected file changes (
#12078
)
2020-10-13 14:50:57 -04:00
pull_test.go
…
pull.go
Send notifications for mentions in pulls, issues, (code-)comments (
#14218
) (
#14221
)
2021-01-03 15:44:40 +02:00
review.go
Send notifications for mentions in pulls, issues, (code-)comments (
#14218
) (
#14221
)
2021-01-03 15:44:40 +02:00
temp_repo.go
Handle more pathological branch and tag names (
#11843
)
2020-06-11 19:49:47 -04:00
update.go
Check Push permissions on IsUserAllowedToUpdate (
#11448
)
2020-05-16 20:48:30 -04:00