Skip to content

Pull requests: mlswg/mls-federation

New pull request New
Clear current search query, filters, and sorts
0 Open 11 Closed
0 Open 11 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update CI
#13 by raphaelrobert was merged Sep 12, 2024 Loading…
typo
#12 by dconnolly was merged May 1, 2023 Loading…
Change affiliation
#11 by raphaelrobert was merged Mar 13, 2023 Loading…
Revive draft
#10 by raphaelrobert was merged May 19, 2022 Loading…
Notes on the AS in a federated setting
#9 by kkohbrok was closed May 17, 2022 Loading…
1
Changes to authors & contributors
#8 by raphaelrobert was closed May 19, 2022 Loading…
1
Porting history to main branch
#7 by raphaelrobert was merged Mar 10, 2022 Loading…
Update build
#5 by Bren2010 was merged Jul 26, 2020 Loading…
2
Spelling fixes in various sections.
#4 by GaPhil was closed Apr 14, 2021 Loading…
Spelling fixes in various sections.
#3 by GaPhil was closed Mar 10, 2022 Loading…
4
Changes from MLS interim 2019 London
#2 by raphaelrobert was merged Oct 9, 2019 Loading…
ProTip! Exclude everything labeled bug with -label:bug.