Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / pi-base/viewer issues and pull requests

#133 - Bump postcss from 8.4.12 to 8.4.31

Pull Request - State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#132 - Bump loader-utils from 2.0.2 to 2.0.4

Pull Request - State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#131 - Bump vite from 2.9.5 to 2.9.16

Pull Request - State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#130 - Bump moment from 2.29.2 to 2.29.4

Pull Request - State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#129 - Bump json5 from 2.2.1 to 2.2.3

Pull Request - State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#128 - Bump svelte from 3.47.0 to 3.49.0

Pull Request - State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#127 - Bump word-wrap from 1.2.3 to 1.2.4

Pull Request - State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#126 - swap main branch for data repo to, well, main

Pull Request - State: closed - Opened by StevenClontz about 2 years ago - 2 comments

#125 - build with vite and vitest

Pull Request - State: closed - Opened by jamesdabbs almost 3 years ago - 2 comments

#124 - Bump minimist from 1.2.5 to 1.2.6

Pull Request - State: closed - Opened by dependabot[bot] almost 3 years ago - 3 comments
Labels: dependencies

#123 - link to DaRT

Issue - State: open - Opened by StevenClontz almost 3 years ago

#122 - Bump url-parse from 1.5.1 to 1.5.10

Pull Request - State: closed - Opened by dependabot[bot] almost 3 years ago - 3 comments
Labels: dependencies

#121 - Bump url-parse from 1.5.1 to 1.5.7

Pull Request - State: closed - Opened by dependabot[bot] almost 3 years ago - 3 comments
Labels: dependencies

#120 - Bump follow-redirects from 1.13.0 to 1.14.8

Pull Request - State: closed - Opened by dependabot[bot] almost 3 years ago - 3 comments
Labels: dependencies

#119 - Bump follow-redirects from 1.13.0 to 1.14.7

Pull Request - State: closed - Opened by dependabot[bot] about 3 years ago - 3 comments
Labels: dependencies

#118 - Add mathlib as reference

Issue - State: open - Opened by StevenClontz about 3 years ago

#117 - Explicitly add MIT license

Pull Request - State: closed - Opened by jamesdabbs over 3 years ago - 3 comments

#116 - Pi-Base for abstract algebra

Issue - State: open - Opened by FernandoChu over 3 years ago - 9 comments

#115 - Bump url-parse from 1.5.1 to 1.5.3

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 3 comments
Labels: dependencies

#114 - Replace React with Svelte

Pull Request - State: closed - Opened by jamesdabbs over 3 years ago - 3 comments

#113 - Port property views to Svelte

Pull Request - State: closed - Opened by jamesdabbs over 3 years ago - 3 comments

#112 - Bump react-dev-utils from 10.2.1 to 11.0.4

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 2 comments
Labels: dependencies

#111 - Set up Svelte and use it to render Theorem pages

Pull Request - State: closed - Opened by jamesdabbs over 3 years ago - 3 comments

#110 - Bump tmpl from 1.0.4 to 1.0.5

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 2 comments
Labels: dependencies

#109 - Update dependencies

Pull Request - State: closed - Opened by jamesdabbs over 3 years ago - 3 comments

#108 - Configure cypress CI action

Pull Request - State: closed - Opened by jamesdabbs over 3 years ago - 4 comments

#107 - Add cypress integration tests

Pull Request - State: closed - Opened by jamesdabbs over 3 years ago - 2 comments

#106 - Use Netlify build context for Sentry stage

Pull Request - State: closed - Opened by jamesdabbs over 3 years ago - 2 comments

#105 - Add build environment variables and update Sentry

Pull Request - State: closed - Opened by jamesdabbs over 3 years ago - 2 comments

#104 - Add netlify redirect rule

Pull Request - State: closed - Opened by jamesdabbs over 3 years ago - 2 comments

#103 - Remove release workflow

Pull Request - State: closed - Opened by jamesdabbs over 3 years ago - 2 comments

#102 - Add codecov badge

Pull Request - State: closed - Opened by jamesdabbs over 3 years ago - 1 comment

#101 - Use codecov for coverage reporting

Pull Request - State: closed - Opened by jamesdabbs over 3 years ago - 2 comments

#100 - Add netlify link to README

Pull Request - State: closed - Opened by jamesdabbs over 3 years ago - 1 comment

#99 - Bump immer from 8.0.1 to 9.0.6

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#98 - Bump path-parse from 1.0.6 to 1.0.7

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#97 - Bump merge-deep from 3.0.2 to 3.0.3

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 2 comments
Labels: dependencies

#96 - Bump dns-packet from 1.3.1 to 1.3.4

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 2 comments
Labels: dependencies

#95 - Bump hosted-git-info from 2.8.8 to 2.8.9

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies

#94 - Bump url-parse from 1.4.7 to 1.5.1

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies

#93 - Bump ssri from 6.0.1 to 6.0.2

Pull Request - State: closed - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies

#92 - Bump elliptic from 6.5.3 to 6.5.4

Pull Request - State: closed - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies

#91 - Bump immer from 6.0.9 to 8.0.1

Pull Request - State: closed - Opened by dependabot[bot] about 4 years ago
Labels: dependencies

#90 - Bump ini from 1.3.5 to 1.3.7

Pull Request - State: closed - Opened by dependabot[bot] about 4 years ago
Labels: dependencies

#89 - Diagram viewer

Issue - State: open - Opened by StevenClontz about 4 years ago

#88 - Update @pi-base/core version

Pull Request - State: closed - Opened by jamesdabbs about 4 years ago - 1 comment

#87 - Add suggestion dropdown to formula input

Pull Request - State: closed - Opened by jamesdabbs about 4 years ago

#86 - dev

Pull Request - State: closed - Opened by jamesdabbs about 4 years ago - 1 comment

#85 - Rewrite internal state handling

Pull Request - State: closed - Opened by jamesdabbs about 4 years ago

#84 - Svelte deduction display

Pull Request - State: closed - Opened by jamesdabbs about 4 years ago

#83 - Svelte deduction

Pull Request - State: closed - Opened by jamesdabbs about 4 years ago

#82 - Set up CI/CD

Pull Request - State: closed - Opened by jamesdabbs about 4 years ago

#81 - Display and search spaces

Pull Request - State: closed - Opened by jamesdabbs about 4 years ago

#80 - Extract domain models

Pull Request - State: closed - Opened by jamesdabbs over 4 years ago

#79 - Add (asserted) traits

Pull Request - State: closed - Opened by jamesdabbs over 4 years ago

#78 - Implement related tabs on show pages

Pull Request - State: closed - Opened by jamesdabbs over 4 years ago

#77 - Add example widget to dev editor page

Pull Request - State: closed - Opened by jamesdabbs over 4 years ago

#76 - Implement initial theorem pages

Pull Request - State: closed - Opened by jamesdabbs over 4 years ago

#75 - Implement initial Svelte app

Pull Request - State: closed - Opened by jamesdabbs over 4 years ago - 3 comments

#74 - "name" attribute not displayed properly on web pages

Issue - State: closed - Opened by StevenClontz over 4 years ago - 1 comment

#72 - References not showing in web pages

Issue - State: closed - Opened by prabau over 4 years ago - 4 comments

#71 - Support intra-site links. Fixes #63

Pull Request - State: closed - Opened by jamesdabbs over 4 years ago

#70 - Display MathSE and MO references #60

Pull Request - State: closed - Opened by jamesdabbs over 4 years ago - 1 comment

#69 - Add visual indication when on non-main branches #66

Pull Request - State: closed - Opened by jamesdabbs over 4 years ago

#67 - Show list of spaces without having to search

Issue - State: closed - Opened by StevenClontz over 4 years ago - 1 comment

#66 - Show working branch in navbar (unless master)

Issue - State: closed - Opened by StevenClontz over 4 years ago

#65 - Look up references via database like CrossRef

Issue - State: open - Opened by StevenClontz over 4 years ago - 1 comment

#63 - Support intrasite tags/links like {P123}

Issue - State: closed - Opened by StevenClontz over 4 years ago

#62 - redirect topology.jdabbs.com to topology.pi-base.org

Issue - State: closed - Opened by StevenClontz over 4 years ago - 3 comments

#61 - List asserted traits first

Issue - State: closed - Opened by StevenClontz over 4 years ago - 1 comment

#60 - Support MO and math.SE questions

Issue - State: closed - Opened by StevenClontz over 4 years ago - 2 comments

#59 - "A common non-theorem"

Issue - State: open - Opened by StevenClontz over 4 years ago

#58 - Bump elliptic from 6.5.2 to 6.5.3

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies

#57 - Fix typo on homepage

Pull Request - State: closed - Opened by fkastner over 4 years ago

#56 - Fix Slack alerts

Issue - State: closed - Opened by jamesdabbs over 4 years ago - 1 comment
Labels: bug

#55 - Progress bar scaling

Issue - State: closed - Opened by jamesdabbs over 4 years ago - 1 comment
Labels: bug

#54 - Omnisearch

Issue - State: open - Opened by jamesdabbs over 4 years ago - 1 comment
Labels: enhancement

#53 - Better branch review tools

Issue - State: open - Opened by jamesdabbs over 4 years ago
Labels: enhancement

#52 - Improve table sorting

Issue - State: open - Opened by jamesdabbs over 4 years ago
Labels: enhancement

#51 - Improve styling on mobile

Issue - State: open - Opened by jamesdabbs over 4 years ago
Labels: enhancement

#50 - Add a favicon

Issue - State: closed - Opened by jamesdabbs over 4 years ago - 1 comment
Labels: enhancement

#49 - Improve parsing

Issue - State: closed - Opened by jamesdabbs over 4 years ago - 1 comment
Labels: cleanup

#48 - Remove `any`s

Issue - State: closed - Opened by jamesdabbs over 4 years ago
Labels: cleanup

#47 - Better defined handling of contradictions during client-side checking

Issue - State: open - Opened by jamesdabbs over 4 years ago
Labels: cleanup

#46 - Re-organize query logic

Issue - State: open - Opened by jamesdabbs over 4 years ago
Labels: cleanup

#45 - Bump websocket-extensions from 0.1.3 to 0.1.4

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies

#43 - Perfectly normal should not imply T1

Issue - State: closed - Opened by kaba2 over 5 years ago - 1 comment
Labels: bug

#42 - Port these issues over to pi-base/server

Issue - State: closed - Opened by jamesdabbs about 6 years ago

#41 - Support MO and M.SE citations

Issue - State: closed - Opened by StevenClontz about 6 years ago

#39 - Case sensitive filenames break build

Issue - State: closed - Opened by neldredge about 6 years ago - 2 comments

#30 - Elaborate on how folks can join the pi-Base team

Issue - State: open - Opened by StevenClontz about 7 years ago - 1 comment
Labels: cleanup

#29 - Add info about James to About page

Issue - State: closed - Opened by StevenClontz about 7 years ago - 2 comments
Labels: cleanup

#28 - Create style guide for contributions

Issue - State: closed - Opened by StevenClontz about 7 years ago - 2 comments
Labels: cleanup

#27 - Basic create / edit support

Issue - State: closed - Opened by jamesdabbs about 7 years ago - 1 comment

#26 - Master/user branching UX

Issue - State: closed - Opened by StevenClontz about 7 years ago

#22 - Mary Ellen Rudin's take on Counterexamples

Issue - State: open - Opened by StevenClontz over 7 years ago - 1 comment
Labels: cleanup