Logo
Explore Help
Sign In
ddmt/gitdts
1
0
Fork 0
You've already forked gitdts
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
afa7f22dd831e0502a864f167d21d01f8fe5ae70
gitdts/services/pull
History
Jimmy Praet a728d1e046 always use headCommitID for review comment diff (#14011)
2020-12-16 18:50:30 +08:00
..
check_test.go
Only check for conflicts/merging if the PR has not been merged in the interim (#10132)
2020-02-10 01:09:31 +02:00
check.go
[Enhancement] Allow admin to merge pr with protected file changes (#12078)
2020-10-13 14:50:57 -04:00
commit_status.go
Fix bug on pull view when required status check no ci result (#10648)
2020-03-07 07:33:20 +00:00
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
Increment skip to avoid infini-loop (#13703) (#13727)
2020-11-28 04:55:53 +00:00
review.go
always use headCommitID for review comment diff (#14011)
2020-12-16 18:50:30 +08: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
Powered by Gitea Version: 1.25.3 Page: 1176ms Template: 38ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API