[PR #9] fix: 增加Antigravity支持 #14

New issue

Closed

opened 2026-02-26 12:35:38 +03:00 by kerem · 0 comments

kerem commented 2026-02-26 12:35:38 +03:00

Owner

Copy link

Original Pull Request: https://github.com/chengazhen/gitlens-pro/pull/9

State: closed
Merged: Yes

---

No description provided

**Original Pull Request:** https://github.com/chengazhen/gitlens-pro/pull/9 **State:** closed **Merged:** Yes --- No description provided

kerem 2026-02-26 12:35:38 +03:00

• closed this issue
• added the
  pull-request
  label

kerem changed title from [PR #9] [MERGED] fix: 增加Antigravity支持 to [PR #9] fix: 增加Antigravity支持 2026-03-01 15:55:50 +03:00

Sign in to join this conversation.

No Branch/Tag specified

Branches Tags

main

No results found.

Labels

Clear labels   

documentation

  

pull-request

Mirrored from GitHub Pull Request

No labels

documentation

pull-request

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

starred/gitlens-pro#14

No description provided.