You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/Migration-Trac-to-Github.md
+3-3Lines changed: 3 additions & 3 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -58,7 +58,7 @@ See also: https://trac.sagemath.org/ticket/30363
58
58
59
59
- [Open an Issue on GitHub](https://docs.github.com/en/issues). Preview of Issues (converted from Trac): https://github.com/sagemath/trac_to_gh/issues
60
60
- **Trac ticket box attributes** are mapped as follows (see https://github.com/sagemath/trac-to-github/issues/8):
61
-
- **Type** ("defect", "enhancement", "task") are mapped to "Labels" "bug", "enhancement".
61
+
- **Type** ("defect", "enhancement", "task") are mapped to "Labels" "t: bug", "t: enhancement".
62
62
- **Component** ("basic arithmetic", "linear algebra", "geometry", ...) are mapped to "Labels"
63
63
with prefix `c: `
64
64
- **Priority** ("trivial"/"minor"/"major"/"critical"/"blocker") are mapped to "Labels" with prefix `p: `
@@ -71,7 +71,7 @@ See also: https://trac.sagemath.org/ticket/30363
71
71
- **Milestone = duplicate/invalid/wontfix** and **Resolution** ("duplicate", "invalid", "wontfix")
72
72
are replaced by
73
73
- [marking as duplicate](https://docs.github.com/en/issues/tracking-your-work-with-issues/marking-issues-or-pull-requests-as-a-duplicate),
74
-
- "Labels" "duplicate", "invalid", "wontfix", or
74
+
- "Labels" "r: duplicate", "r: invalid", "r: wontfix", or
75
75
- closing with a comment; use "Close as not wanted"
76
76
- **Dependencies**: Use the phrase "Depends on ", followed by the Issue or PR reference.
77
77
Repeat this in separate lines if there is more than one dependency.
@@ -125,7 +125,7 @@ See also: https://trac.sagemath.org/ticket/30363
125
125
- alternatively, with the [GitHub command-line interface](https://trac.sagemath.org/ticket/34523), use [`gh pr checkout PULL_REQUEST_ID`](https://cli.github.com/manual/gh_pr_checkout)
126
126
127
127
- For closing issues, **instead of marking it as invalid/duplicate and ready for review**,
128
-
- if you have the rights to do so, simply [close the issue](https://docs.github.com/en/issues/tracking-your-work-with-issues/closing-an-issue), add a label to specify the reason (e.g. "duplicate") and maybe add a short comment explaining why the issue has been closed, if that's not already clear from the discussion; optionally, to change the reason for closing the issue, click the arrow next to "Close issue" and select a reason;
128
+
- if you have the rights to do so, simply [close the issue](https://docs.github.com/en/issues/tracking-your-work-with-issues/closing-an-issue), add a label to specify the reason (e.g. "r: duplicate") and maybe add a short comment explaining why the issue has been closed, if that's not already clear from the discussion; optionally, to change the reason for closing the issue, click the arrow next to "Close issue" and select a reason;
129
129
- otherwise, add a short comment indicating that you think the issue should be closed and someone else with the necessary rights will take care of this.
130
130
131
131
> If you think an issue has been prematurely be closed, feel free to reopen it.
0 commit comments