Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

New workflow for synchronization of labels #35172

Merged
merged 30 commits into from
Jun 3, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
5107d3b
sync_labels initial
soehms Feb 22, 2023
353626d
Merge branch 'develop' into sync_labels
soehms Feb 27, 2023
72974a9
Merge branch 'sagemath:develop' into sync_labels
soehms Mar 7, 2023
17bea0a
sync_labels refactoring and extension
soehms Mar 8, 2023
00de6bd
Merge pull request #2 from soehms/sync_labels_temp
soehms Mar 8, 2023
96e8e7d
sync_labels: add reset_view and typos
soehms Mar 10, 2023
9abdff3
sync_labels_checkout_files initial
soehms Mar 13, 2023
53999c3
sync_labels_resolution initial
soehms Mar 13, 2023
a1c183b
Merge pull request #4 from soehms/sync_labels_resolution
soehms Mar 13, 2023
6c1a9cf
Merge branch 'develop' into sync_labels
soehms Mar 13, 2023
d084f7c
Merge branch 'sagemath:develop' into sync_labels
soehms Mar 20, 2023
631daf4
sync_labels_add_on_review_comment initial (#6)
soehms Mar 20, 2023
c829525
Cleaning of warning comments (#7)
soehms Mar 26, 2023
dbad117
Merge branch 'sagemath:develop' into sync_labels
soehms Apr 9, 2023
aa449ef
sync_labels_actor_authorized initial (#8)
soehms Apr 10, 2023
9246bb1
sync_labels: introduce vars.SYNC_LABELS_BIDIRECT
soehms Apr 10, 2023
1e9428b
Merge branch 'develop' into sync_labels
soehms May 19, 2023
46473c3
Merge branch 'sagemath:develop' into sync_labels
soehms May 22, 2023
04a7965
Merge branch 'sagemath:develop' into sync_labels
soehms May 25, 2023
2c6c243
Merge branch 'sync_labels' of github.com:soehms/sage into sync_labels
soehms May 25, 2023
91e1cc3
Merge branch 'develop' into sync_labels
soehms May 30, 2023
1a2e9f5
35172: vars.SYNC_LABELS_BIDIRECT -> vars.SYNC_LABELS_IGNORE_EVENTS
soehms May 31, 2023
9ac85b8
Merge branch 'sagemath:develop' into sync_labels
soehms May 31, 2023
04aa4c2
Merge branch 'sync_labels' into sync_labels_ignore_events
soehms May 31, 2023
9a6a517
Merge branch 'develop' into sync_labels
soehms Jun 1, 2023
4e9c9bd
Merge branch 'sync_labels' of github.com:soehms/sage into sync_labels
soehms Jun 1, 2023
947ed03
Merge pull request #9 from soehms/sync_labels_ignore_events
soehms Jun 1, 2023
0089d2a
Merge branch 'sync_labels' of github.com:soehms/sage into sync_labels
soehms Jun 2, 2023
8eb6854
35172: use Json array for SYNC_LABELS_IGNORE_EVENTS
soehms Jun 2, 2023
54002f2
36172: Title corrections according to review
soehms Jun 2, 2023
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading