ddmt/gitdts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge branch 'main' into feature/bots

Browse Source
This commit is contained in:
Jason Song
2022-12-09 16:20:28 +08:00
committed by GitHub
parent 901914e34b 3c59d31bc6
commit d378a78c79
25 changed files with 1761 additions and 91 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
options/locale/locale_en-US.ini
View File

@@ -1026,7 +1026,7 @@ unstar = Unstar
star = Star
fork = Fork
download_archive = Download Repository
more_actions = More Actions
more_operations = More Operations
no_desc = No Description
quick_guide = Quick Guide
@@ -1181,7 +1181,7 @@ commits.signed_by_untrusted_user_unmatched = Signed by untrusted user who does n
commits.gpg_key_id = GPG Key ID
commits.ssh_key_fingerprint = SSH Key Fingerprint
commit.actions = Actions
commit.operations = Operations
commit.revert = Revert
commit.revert-header = Revert: %s
commit.revert-content = Select branch to revert onto:
@@ -3022,7 +3022,7 @@ monitor.queue.pool.cancel_desc = Leaving a queue without any worker groups may c
notices.system_notice_list = System Notices
notices.view_detail_header = View Notice Details
notices.actions = Actions
notices.operations = Operations
notices.select_all = Select All
notices.deselect_all = Deselect All
notices.inverse_selection = Inverse Selection