Skip to content

Pull requests: MizarWeb/Mizar

New pull request New
22 Open 41 Closed
22 Open 41 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
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

Bump json5 from 2.1.3 to 2.2.3 dependencies Pull requests that update a dependency file
#127 opened Jan 6, 2023 by dependabot bot Loading…
Bump decode-uri-component from 0.2.0 to 0.2.2 dependencies Pull requests that update a dependency file
#126 opened Dec 7, 2022 by dependabot bot Loading…
Bump qs from 6.5.2 to 6.5.3 dependencies Pull requests that update a dependency file
#125 opened Dec 6, 2022 by dependabot bot Loading…
Bump minimatch from 3.0.4 to 3.1.2 dependencies Pull requests that update a dependency file
#124 opened Nov 11, 2022 by dependabot bot Loading…
Bump jszip from 3.5.0 to 3.7.0 dependencies Pull requests that update a dependency file
#123 opened Sep 8, 2022 by dependabot bot Loading…
Bump terser from 5.5.1 to 5.14.2 dependencies Pull requests that update a dependency file
#122 opened Jul 20, 2022 by dependabot bot Loading…
Bump moment from 2.29.1 to 2.29.4 dependencies Pull requests that update a dependency file
#121 opened Jul 8, 2022 by dependabot bot Loading…
Bump async from 2.6.3 to 2.6.4 dependencies Pull requests that update a dependency file
#120 opened Apr 29, 2022 by dependabot bot Loading…
Bump minimist from 1.2.5 to 1.2.6 dependencies Pull requests that update a dependency file
#118 opened Mar 30, 2022 by dependabot bot Loading…
Bump follow-redirects from 1.13.1 to 1.14.8 dependencies Pull requests that update a dependency file
#117 opened Feb 14, 2022 by dependabot bot Loading…
Bump nanoid from 3.1.20 to 3.2.0 dependencies Pull requests that update a dependency file
#116 opened Jan 22, 2022 by dependabot bot Loading…
Bump tmpl from 1.0.4 to 1.0.5 dependencies Pull requests that update a dependency file
#114 opened Sep 22, 2021 by dependabot bot Loading…
Bump path-parse from 1.0.6 to 1.0.7 dependencies Pull requests that update a dependency file
#113 opened Aug 13, 2021 by dependabot bot Loading…
Bump hosted-git-info from 2.8.8 to 2.8.9 dependencies Pull requests that update a dependency file
#112 opened Jun 29, 2021 by dependabot bot Loading…
Bump glob-parent from 5.1.1 to 5.1.2 dependencies Pull requests that update a dependency file
#111 opened Jun 29, 2021 by dependabot bot Loading…
Bump sanitize-html from 1.27.5 to 2.3.2 dependencies Pull requests that update a dependency file
#110 opened Jun 29, 2021 by dependabot bot Loading…
Bump ws from 7.4.1 to 7.5.1 dependencies Pull requests that update a dependency file
#109 opened Jun 29, 2021 by dependabot bot Loading…
Bump underscore from 1.12.0 to 1.12.1 dependencies Pull requests that update a dependency file
#108 opened Jun 29, 2021 by dependabot bot Loading…
Bump postcss from 7.0.35 to 7.0.36 dependencies Pull requests that update a dependency file
#107 opened Jun 29, 2021 by dependabot bot Loading…
Bump browserslist from 4.16.0 to 4.16.6 dependencies Pull requests that update a dependency file
#106 opened Jun 29, 2021 by dependabot bot Loading…
Bump lodash from 4.17.20 to 4.17.21 dependencies Pull requests that update a dependency file
#105 opened Jun 29, 2021 by dependabot bot Loading…
Adding categoryIndex property to layers.
#104 opened Sep 3, 2020 by mmebsout Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.