profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/david-a-wheeler/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
David A. Wheeler david-a-wheeler Linux Foundation https://dwheeler.com My work title is "Director of Open Source Supply Chain Security" at the Linux Foundation. Much of this isn't work though.

coreinfrastructure/best-practices-badge 936

🏆Core Infrastructure Initiative Best Practices Badge

david-a-wheeler/flawfinder 163

a static analysis tool for finding vulnerabilities in C/C++ source code

david-a-wheeler/jiffo 7

Javascript Interactive Fiction Framework that's Open Source Software - INACTIVE

david-a-wheeler/cl-metamath 3

Metamath library/verifier in Common Lisp

david-a-wheeler/linux 2

Linux kernel modifications

david-a-wheeler/make-booster 2

Utility routines to simplify using GNU make and Python

david-a-wheeler/metamath-test 2

Test metamath verification implementations

david-a-wheeler/choosealicense.com 1

A site to provide non-judgmental guidance on choosing a license for your open source project

david-a-wheeler/david-a-wheeler.github.io 1

Personal website contents

push eventmetamath/set.mm

Wolf Lammen

commit sha 98a7b1c556009ebaf4d7736ad9995fa179e0bcf5

wl-noax12-ax6e

view details

nmegill

commit sha 5ef9bf5434c3d16cefc166a88b518a9d03bec031

Merge pull request #2023 from wlammen/develop wl-noax12-ax6e

view details

push time in 7 hours

PR merged metamath/set.mm

wl-noax12-ax6e
+6 -5

0 comment

1 changed file

wlammen

pr closed time in 7 hours

push eventmetamath/set.mm

avekens

commit sha 4955af83336eadaf9d2bd62565efd1989442d932

New approach for graph theory (continued) Main set.mm: * ~ee02 (renamed ~mpsylsyld) moved from AS's mathbox * comments for ~df-f, ~df-f1, ~df-fo, ~df-f1o enhanced, especially introduction of the terms injection, surjection and bijection, and reference to category theory. AV's mathbox: * blanks in html representation of `GrSize` and `Edges` removed * theorems ~frusgrnn0, ~rusgrnumwrdl2, ~uspgr2wlkeqi, ~0enwwlksnge1, ~1wlkpwwlkf1ouspgr, ~1wlkisowwlkupgr added * section "Walks in regular graphs" added with revised theorems

view details

nmegill

commit sha e93a9c7118fedac14217ccf6889cd767e91d3880

Merge pull request #2022 from avekens/develop New approach for graph theory (continued)

view details

push time in 7 hours

PR merged metamath/set.mm

New approach for graph theory (continued)

Main set.mm:

  • ~ee02 (renamed ~mpsylsyld) moved from AS's mathbox
  • comments for ~df-f, ~df-f1, ~df-fo, ~df-f1o enhanced, especially introduction of the terms injection, surjection and bijection, and reference to category theory.

AV's mathbox:

  • blanks in html representation of GrSize and Edges removed
  • theorems ~frusgrnn0, ~rusgrnumwrdl2, ~uspgr2wlkeqi, ~0enwwlksnge1, ~1wlkpwwlkf1ouspgr, ~1wlkisowwlkupgr added
  • section "Walks in regular graphs" added with revised theorems
+417 -37

1 comment

1 changed file

avekens

pr closed time in 7 hours

PR opened metamath/set.mm

wl-noax12-ax6e
+6 -5

0 comment

1 changed file

pr created time in 9 hours

pull request commentmetamath/set.mm

New approach for graph theory (continued)

" F is a bijection between A and B ".

I would write: "from A to B" or "from A onto B"

avekens

comment created time in 9 hours

PR opened mil-oss/xsdccm

Bump url-parse from 1.4.7 to 1.5.1

Bumps url-parse from 1.4.7 to 1.5.1. <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/unshiftio/url-parse/commit/eb6d9f51e395b7e47bf2594e457d541db21c713b"><code>eb6d9f5</code></a> [dist] 1.5.1</li> <li><a href="https://github.com/unshiftio/url-parse/commit/750d8e8a9d45dbce9ff09759f0fe4564cdd47d74"><code>750d8e8</code></a> [fix] Fixes relative path resolving <a href="https://github-redirect.dependabot.com/unshiftio/url-parse/issues/199">#199</a> <a href="https://github-redirect.dependabot.com/unshiftio/url-parse/issues/200">#200</a> (<a href="https://github-redirect.dependabot.com/unshiftio/url-parse/issues/201">#201</a>)</li> <li><a href="https://github.com/unshiftio/url-parse/commit/3ac777474ba5dc48a7e33771cbb311fc6f69bef8"><code>3ac7774</code></a> [test] Make test consistent for browser testing</li> <li><a href="https://github.com/unshiftio/url-parse/commit/267a0c6f7ef1a58271be61611c5103daace602c9"><code>267a0c6</code></a> [dist] 1.5.0</li> <li><a href="https://github.com/unshiftio/url-parse/commit/d1e7e8822f26e8a49794b757123b51386325b2b0"><code>d1e7e88</code></a> [security] More backslash fixes (<a href="https://github-redirect.dependabot.com/unshiftio/url-parse/issues/197">#197</a>)</li> <li><a href="https://github.com/unshiftio/url-parse/commit/d99bf4cf259b7378c855f786edc253e70405ffdc"><code>d99bf4c</code></a> [ignore] Remove npm-debug.log from .gitignore</li> <li><a href="https://github.com/unshiftio/url-parse/commit/422c8b5e4cac6a79cd35b4e86731476dcbeec7e4"><code>422c8b5</code></a> [pkg] Replace nyc with c8</li> <li><a href="https://github.com/unshiftio/url-parse/commit/933809d630c7b21399b4e5df59fccccd80033b21"><code>933809d</code></a> [pkg] Move coveralls to dev dependencies</li> <li><a href="https://github.com/unshiftio/url-parse/commit/190b2168035899a2a88f2dc2625963bf7e2f338f"><code>190b216</code></a> [pkg] Add .npmrc</li> <li><a href="https://github.com/unshiftio/url-parse/commit/ce3783f4ea25753cfa36376769c14e4e2fe6ea80"><code>ce3783f</code></a> [test] Do not test on all available versions of Edge and Safari</li> <li>Additional commits viewable in <a href="https://github.com/unshiftio/url-parse/compare/1.4.7...1.5.1">compare view</a></li> </ul> </details> <br />

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


<details> <summary>Dependabot commands and options</summary> <br />

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
  • @dependabot use these labels will set the current labels as the default for future PRs for this repo and language
  • @dependabot use these reviewers will set the current reviewers as the default for future PRs for this repo and language
  • @dependabot use these assignees will set the current assignees as the default for future PRs for this repo and language
  • @dependabot use this milestone will set the current milestone as the default for future PRs for this repo and language

You can disable automated security fix PRs for this repo from the Security Alerts page.

</details>

+9 -6

0 comment

1 changed file

pr created time in 13 hours

create barnchmil-oss/xsdccm

branch : dependabot/npm_and_yarn/url-parse-1.5.1

created branch time in 13 hours

PR opened metamath/set.mm

New approach for graph theory (continued)

Main set.mm:

  • ~ee02 (renamed ~mpsylsyld) moved from AS's mathbox
  • comments for ~df-f, ~df-f1, ~df-fo, ~df-f1o enhanced, especially introduction of the terms injection, surjection and bijection, and reference to category theory.

AV's mathbox:

  • blanks in html representation of GrSize and Edges removed
  • theorems ~frusgrnn0, ~rusgrnumwrdl2, ~uspgr2wlkeqi, ~0enwwlksnge1, ~1wlkpwwlkf1ouspgr, ~1wlkisowwlkupgr added
  • section "Walks in regular graphs" added with revised theorems
+417 -37

0 comment

1 changed file

pr created time in 16 hours

starteddavid-a-wheeler/spdx-tutorial

started time in 16 hours

created repositorydigama0/mm-lean4

Lean 4 Metamath verifier

created time in a day

starteddavid-a-wheeler/flawfinder

started time in 2 days

issue commentossf/Project-Security-Metrics

Updates for the Grafana Dashboard

Awesome. I'll definitely take a look and see what Augur can provide.

As for how the licenses are allocated/applied, thanks for the insight. I'll look into their notes, documentation, etc. and see what I can find!

dilanbhalla

comment created time in 2 days

issue commentossf/Project-Security-Metrics

Updates for the Grafana Dashboard

Cool idea. Apologies for the lack of knowledge here, but are there multiple licenses per project because they are released with several different licenses, or because of the project's dependencies (which may have their own licenses that need to be considered)?

The tricky part to me here seems to be the data collection of these licenses for each project. Do you know if this data (that provides all licenses for a given project) is provided somewhere by CHAOSS, is something the group is working on, or is something I should look into myself? I can very easily provide a metric that says whether or not the license (singular) provided by OpenSSF Criticality Score falls within the registered license list, but that does not sound like what you are talking about.

Lastly, did you mean to send a link with regards to the CHAOSS Risk minutes? That would be interesting to see.

dilanbhalla

comment created time in 2 days

issue commentossf/Project-Security-Metrics

Updates for the Grafana Dashboard

That makes a lot of sense. Just changed the badge types back and color scheme to the one you mentioned, and removed the redistributable metric. Thanks!

grafana1

dilanbhalla

comment created time in 2 days

push eventlfph/artwork

Jenny Wanger

commit sha 94f28f6d31f065b3f8e7dd78c7fb25e2883f917e

Jenny add cardea logos (#21) * Delete Cardea_void * Create logos.md * Delete logos.md * Create logos.md * Add files via upload * Delete logos.md

view details

push time in 2 days

delete branch lfph/artwork

delete branch : jenny-add-cardea-logos

delete time in 2 days

PR merged lfph/artwork

Jenny add cardea logos
+8435 -1

0 comment

19 changed files

jennydove

pr closed time in 2 days

PR opened lfph/artwork

Jenny add cardea logos
+8435 -1

0 comment

19 changed files

pr created time in 2 days

push eventlfph/artwork

Jenny Wanger

commit sha 7a84ba55c3e2226f0fa1ad45867186c53a4981d5

Delete logos.md

view details

push time in 2 days

push eventlfph/artwork

Jenny Wanger

commit sha be2d659cc84f1ef057cd5d829fb201237639a11d

Add files via upload

view details

push time in 2 days

push eventlfph/artwork

Jenny Wanger

commit sha 1f58ff3fc438fdc7f3c92d34458f7783c2895e54

Create logos.md

view details

push time in 2 days

push eventlfph/artwork

Jenny Wanger

commit sha 55b900ff8e645882063fa5c52cab6d4c54f89992

Delete logos.md

view details

push time in 2 days

push eventlfph/artwork

Jenny Wanger

commit sha 5c90915b970435c1bd23a196cdda5aef830ac2dc

Create logos.md

view details

push time in 2 days

push eventlfph/artwork

Jenny Wanger

commit sha 84f5abe2c6f14ee7b2f043ae23dac895071f2691

Delete Cardea_void

view details

push time in 2 days

create barnchlfph/artwork

branch : jenny-add-cardea-logos

created branch time in 2 days

PR closed lfph/artwork

Renamecardea
+0 -1

1 comment

1 changed file

TrevorButterworth

pr closed time in 2 days

pull request commentlfph/artwork

Renamecardea

I'm going to close your PRs and get the files uploaded.

TrevorButterworth

comment created time in 2 days

PR closed lfph/artwork

Create logos.md
+1 -0

1 comment

1 changed file

TrevorButterworth

pr closed time in 2 days

pull request commentlfph/artwork

Create logos.md

I'm going to close your PRs and get the files uploaded.

TrevorButterworth

comment created time in 2 days