MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-26 19:06:24 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
7bb09ab6b1cc6ff98959dd38fea418938cc693ed
openide/plugins/github/github-core/resources/messages
T
History
Chris Lemaireandintellij-monorepo-bot 7bb09ab6b1 [gh] Add an action to remove a branch after merge (IJPL-74161) 
#IJPL-74161 Fixed

GitOrigin-RevId: c9f7cb782593d07534e770736b96255bc6ebc45a
2025-10-21 18:51:10 +00:00
..
GithubBundle.properties
[gh] Add an action to remove a branch after merge (IJPL-74161)
2025-10-21 18:51:10 +00:00