Logo
Explore Help
Register Sign In
MDS/openide
1
0
Fork 0
You've already forked openide
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-08 23:39:39 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
a76132062af571ee347a5fe50d64883fd0e43158
openide/plugins/github
History
Aleksandr Krasilnikov a76132062a [github] Use the current branch name instead of "Pushing to GitHub master"
GitOrigin-RevId: ddead5934eef81b76dfd4d14771a6f10e5bf4920
2024-05-07 17:00:56 +00:00
..
community
IJPL-973 extract collaboration tools (as it depends on vcs-log-impl)
2024-04-12 07:35:33 +00:00
gen
[github] indicate loading and sync status for a current PR on a branch widget
2024-02-03 13:21:51 +00:00
resources
[github] Use the current branch name instead of "Pushing to GitHub master"
2024-05-07 17:00:56 +00:00
src/org/jetbrains/plugins/github
[github] Use the current branch name instead of "Pushing to GitHub master"
2024-05-07 17:00:56 +00:00
test/org/jetbrains/plugins/github
[github] convert PR viewed state data provider to coroutines
2024-04-23 00:42:32 +00:00
.graphqlconfig
…
intellij.vcs.github.iml
[github] convert PR details data provider and service to coroutines
2024-04-23 00:42:32 +00:00
Powered by Gitea Version: 1.25.2 Page: 1977ms Template: 8ms
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