Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / sel4/website issues and pull requests
#100 - adding nio job ad
Pull Request -
State: closed - Opened by june-andronick over 3 years ago
- 10 comments
#100 - adding nio job ad
Pull Request -
State: closed - Opened by june-andronick over 3 years ago
- 10 comments
#99 - Add unconfirmed minutes of 5th MB
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 12 comments
#99 - Add unconfirmed minutes of 5th MB
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 12 comments
#98 - fix layout and small improvement
Pull Request -
State: closed - Opened by axel-h over 3 years ago
- 5 comments
#98 - fix layout and small improvement
Pull Request -
State: closed - Opened by axel-h over 3 years ago
- 5 comments
#97 - Add seL4 12.1.0 manual
Pull Request -
State: closed - Opened by nomadeel over 3 years ago
- 7 comments
#97 - Add seL4 12.1.0 manual
Pull Request -
State: closed - Opened by nomadeel over 3 years ago
- 7 comments
#96 - Announce new seL4 release
Pull Request -
State: closed - Opened by axel-h over 3 years ago
- 4 comments
#96 - Announce new seL4 release
Pull Request -
State: closed - Opened by axel-h over 3 years ago
- 4 comments
#95 - Support RSS/atom feed for news
Issue -
State: closed - Opened by axel-h over 3 years ago
- 1 comment
Labels: enhancement
#95 - Support RSS/atom feed for news
Issue -
State: closed - Opened by axel-h over 3 years ago
- 1 comment
Labels: enhancement
#94 - Add news item about latest seL4 release
Issue -
State: closed - Opened by axel-h over 3 years ago
#94 - Add news item about latest seL4 release
Issue -
State: closed - Opened by axel-h over 3 years ago
#93 - NIO Membership
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 10 comments
#93 - NIO Membership
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 10 comments
#92 - Add signed minutes of 4th BM
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 1 comment
#92 - Add signed minutes of 4th BM
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 1 comment
#91 - add CEO news item & Board update
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 5 comments
#91 - add CEO news item & Board update
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 5 comments
#90 - Kry10 news item
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 2 comments
#90 - Kry10 news item
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 2 comments
#89 - add Kry10 logo
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 3 comments
#89 - add Kry10 logo
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 3 comments
#88 - adding a page about seL4 and TS research
Pull Request -
State: closed - Opened by june-andronick over 3 years ago
- 4 comments
#88 - adding a page about seL4 and TS research
Pull Request -
State: closed - Opened by june-andronick over 3 years ago
- 4 comments
#87 - adding the support message as news item
Pull Request -
State: closed - Opened by june-andronick over 3 years ago
- 5 comments
#87 - adding the support message as news item
Pull Request -
State: closed - Opened by june-andronick over 3 years ago
- 5 comments
#86 - adding continuity project as explicit support
Pull Request -
State: closed - Opened by june-andronick over 3 years ago
- 3 comments
#86 - adding continuity project as explicit support
Pull Request -
State: closed - Opened by june-andronick over 3 years ago
- 3 comments
#85 - adding a page for seL4-related jobs
Pull Request -
State: closed - Opened by june-andronick over 3 years ago
- 13 comments
#85 - adding a page for seL4-related jobs
Pull Request -
State: closed - Opened by june-andronick over 3 years ago
- 13 comments
#84 - Fixed the Typo for the AOS Course Code
Pull Request -
State: closed - Opened by ollibowers over 3 years ago
- 3 comments
#84 - Fixed the Typo for the AOS Course Code
Pull Request -
State: closed - Opened by ollibowers over 3 years ago
- 3 comments
#83 - Fixes for Python 3.9
Pull Request -
State: closed - Opened by wom-bat over 3 years ago
#83 - Fixes for Python 3.9
Pull Request -
State: closed - Opened by wom-bat over 3 years ago
#82 - News BV
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 9 comments
#82 - News BV
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 9 comments
#81 - Add ETHZ and crowdfunding news items
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 5 comments
#81 - Add ETHZ and crowdfunding news items
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 5 comments
#80 - Update funding charter
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 3 comments
#80 - Update funding charter
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 3 comments
#79 - multiline message handling changes
Pull Request -
State: closed - Opened by lsf37 over 3 years ago
- 6 comments
#79 - multiline message handling changes
Pull Request -
State: closed - Opened by lsf37 over 3 years ago
- 6 comments
#78 - ignore ETH link
Pull Request -
State: closed - Opened by lsf37 over 3 years ago
- 3 comments
#78 - ignore ETH link
Pull Request -
State: closed - Opened by lsf37 over 3 years ago
- 3 comments
#77 - Remove certification
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 3 comments
#77 - Remove certification
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 3 comments
#76 - Add crowdfunding to Support
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 9 comments
#76 - Add crowdfunding to Support
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 9 comments
#75 - Add ETH logo
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 5 comments
#75 - Add ETH logo
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 5 comments
#74 - Board minutes
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 9 comments
#74 - Board minutes
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 9 comments
#73 - Add confirmed Oct minutes
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 3 comments
#73 - Add confirmed Oct minutes
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 3 comments
#72 - Update membership
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 3 comments
#72 - Update membership
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 3 comments
#71 - Update board membership
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 14 comments
#71 - Update board membership
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 14 comments
#70 - Put board minutes on GitHub
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 3 comments
#70 - Put board minutes on GitHub
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 3 comments
#69 - Update Board committees
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 1 comment
#69 - Update Board committees
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 1 comment
#68 - summary.py: make more robust against garbage input
Pull Request -
State: closed - Opened by lsf37 over 3 years ago
- 4 comments
#68 - summary.py: make more robust against garbage input
Pull Request -
State: closed - Opened by lsf37 over 3 years ago
- 4 comments
#67 - GH deployment + test actions for bamboo script
Pull Request -
State: closed - Opened by lsf37 over 3 years ago
- 7 comments
#67 - GH deployment + test actions for bamboo script
Pull Request -
State: closed - Opened by lsf37 over 3 years ago
- 7 comments
#66 - Bamboo integration
Pull Request -
State: closed - Opened by lsf37 over 3 years ago
- 13 comments
#66 - Bamboo integration
Pull Request -
State: closed - Opened by lsf37 over 3 years ago
- 13 comments
#65 - Add Raytheon news item
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 6 comments
#65 - Add Raytheon news item
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 6 comments
#64 - RSS/atom feed for https://sel4.systems/news.pml.html
Issue -
State: open - Opened by axel-h over 3 years ago
Labels: enhancement
#64 - RSS/atom feed for https://sel4.systems/news.pml.html
Issue -
State: open - Opened by axel-h over 3 years ago
Labels: enhancement
#63 - adding HC endorsement in the news
Pull Request -
State: closed - Opened by june-andronick over 3 years ago
- 4 comments
#63 - adding HC endorsement in the news
Pull Request -
State: closed - Opened by june-andronick over 3 years ago
- 4 comments
#62 - adding HC as services provider
Pull Request -
State: closed - Opened by june-andronick over 3 years ago
- 2 comments
#62 - adding HC as services provider
Pull Request -
State: closed - Opened by june-andronick over 3 years ago
- 2 comments
#61 - Trim whitespace of DW logo
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 8 comments
#61 - Trim whitespace of DW logo
Pull Request -
State: closed - Opened by gernotheiser over 3 years ago
- 8 comments
#60 - adding info on fees and benefits
Pull Request -
State: closed - Opened by june-andronick almost 4 years ago
- 4 comments
#60 - adding info on fees and benefits
Pull Request -
State: closed - Opened by june-andronick almost 4 years ago
- 4 comments
#59 - adding news Item for interim endorsement
Pull Request -
State: closed - Opened by june-andronick almost 4 years ago
- 11 comments
#59 - adding news Item for interim endorsement
Pull Request -
State: closed - Opened by june-andronick almost 4 years ago
- 11 comments
#58 - Minutes of 2nd TSC meeting
Pull Request -
State: closed - Opened by lsf37 almost 4 years ago
- 1 comment
#58 - Minutes of 2nd TSC meeting
Pull Request -
State: closed - Opened by lsf37 almost 4 years ago
- 1 comment
#57 - Add Penten news item
Pull Request -
State: closed - Opened by gernotheiser almost 4 years ago
- 5 comments
#57 - Add Penten news item
Pull Request -
State: closed - Opened by gernotheiser almost 4 years ago
- 5 comments
#56 - Ignore .well-known directory so certbot can work
Pull Request -
State: closed - Opened by wom-bat almost 4 years ago
- 2 comments
#56 - Ignore .well-known directory so certbot can work
Pull Request -
State: closed - Opened by wom-bat almost 4 years ago
- 2 comments
#55 - Add Penten to members page
Pull Request -
State: closed - Opened by gernotheiser almost 4 years ago
- 12 comments
#55 - Add Penten to members page
Pull Request -
State: closed - Opened by gernotheiser almost 4 years ago
- 12 comments
#54 - adding news items
Pull Request -
State: closed - Opened by june-andronick almost 4 years ago
- 18 comments
#54 - adding news items
Pull Request -
State: closed - Opened by june-andronick almost 4 years ago
- 18 comments
#53 - Update funding charter
Pull Request -
State: closed - Opened by gernotheiser almost 4 years ago
- 2 comments
#53 - Update funding charter
Pull Request -
State: closed - Opened by gernotheiser almost 4 years ago
- 2 comments
#52 - Raytheon
Pull Request -
State: closed - Opened by gernotheiser almost 4 years ago
- 10 comments
#52 - Raytheon
Pull Request -
State: closed - Opened by gernotheiser almost 4 years ago
- 10 comments
#51 - github workflows: remove deprecated set-env
Pull Request -
State: closed - Opened by lsf37 almost 4 years ago
- 3 comments
Labels: bug
#51 - github workflows: remove deprecated set-env
Pull Request -
State: closed - Opened by lsf37 almost 4 years ago
- 3 comments
Labels: bug