| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2023-11-01 | Meta: Use new `select-dom` API (#6992) |  Federico Brigante
| 1 | -3/+3 |
| 2023-09-19 | Meta: Rename `GitHubURL` to `GitHubFileURL` (#6931) | Federico Brigante
| 1 | -1/+1 |
| 2023-05-10 | Improve reliability of `list-prs-for-branch` (#6641)23.5.10 | Federico Brigante
| 1 | -1/+3 |
| 2023-05-10 | Default branch and current branch detector improvements (#6636) | Federico Brigante
| 1 | -9/+39 |
| 2023-05-10 | Reliability fixes for `default-branch-button` (#6629) | Federico Brigante
| 1 | -0/+32 |
 |
index : refined-github | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |