Merge requests · repos

Update stylelint

repos/ci-tools/patchdemo!41 · created Apr 06, 2020 by Bartosz Dziewoński
- Merged
- 1
updated Apr 06, 2020
Link to user pages

repos/ci-tools/patchdemo!44 · created Apr 08, 2020 by Bartosz Dziewoński
- Merged
- 2
updated Apr 08, 2020
Add favicons

repos/ci-tools/patchdemo!37 · created Mar 31, 2020 by Bartosz Dziewoński
- Merged
- 4
updated Apr 08, 2020
Add support for FlaggedRevs

repos/ci-tools/patchdemo!43 · created Apr 07, 2020 by Bartosz Dziewoński
- Merged
- 2
updated Apr 08, 2020
Validate examples against their schema

repos/data-engineering/jsonschema-tools!13 · created Apr 01, 2020 by Snwachukwu
- Merged
- 1
updated Apr 15, 2020
Copy favicon to wiki

repos/ci-tools/patchdemo!45 · created Apr 08, 2020 by Bartosz Dziewoński
- Merged
- 1
updated Apr 21, 2020
Add CodeMirror extension

repos/ci-tools/patchdemo!49 · created Apr 22, 2020 by Bartosz Dziewoński
- Merged
- 1
updated Apr 22, 2020
Customise [[Main Page]]

repos/ci-tools/patchdemo!50 · created Apr 23, 2020 by Bartosz Dziewoński
- Merged
- 17
updated Apr 27, 2020
Add AbuseFilter to extensions

repos/ci-tools/patchdemo!55 · created Apr 27, 2020 by Bartosz Dziewoński
- Merged
- 1
updated Apr 27, 2020
Add a wordmark logo for Vector2/Minerva

repos/ci-tools/patchdemo!56 · created May 06, 2020 by Bartosz Dziewoński
- Merged
- 1
updated May 06, 2020
Create action for `composer test`

repos/ci-tools/patchdemo!57 · created May 06, 2020 by Bartosz Dziewoński
- Merged
- 2
updated May 28, 2020
Link to included repositories

repos/ci-tools/patchdemo!72 · created Jun 01, 2020 by Bartosz Dziewoński
- Merged
- 1
updated Jun 03, 2020
Concise phab link

repos/ci-tools/patchdemo!73 · created Jun 01, 2020 by Bartosz Dziewoński
- Merged
- 1
updated Jun 03, 2020
Fix layout of sign in page

repos/ci-tools/patchdemo!68 · created May 28, 2020 by Bartosz Dziewoński
- Merged
- 1
updated Jun 03, 2020
Add Linter dependency, now required by DiscussionTools

repos/ci-tools/patchdemo!77 · created Jun 06, 2020 by Bartosz Dziewoński
- Merged
- 1
updated Jun 06, 2020
Dev

repos/10nm/redwarn-web!1 · created Jun 15, 2020 by Chlod Alejandro
- Merged
updated Jun 15, 2020
Revert "Merge branch 'dev' into 'master'"

repos/10nm/redwarn-web!2 · created Jun 15, 2020 by Chlod Alejandro
- Merged
updated Jun 15, 2020
RedWarn 15 Release

repos/10nm/redwarn-web!9 · created Jul 18, 2020 by Chlod Alejandro RedWarn 15
- Merged
updated Jul 18, 2020
post release rw15 bug fixes

repos/10nm/redwarn-web!10 · created Jul 18, 2020 by Chlod Alejandro
- Merged
updated Jul 18, 2020
Bump lodash from 4.17.15 to 4.17.19

repos/ci-tools/patchdemo!84 · created Jul 20, 2020 by Bartosz Dziewoński
dependencies
- Merged
- 1
updated Jul 20, 2020

Admin message

Admin message