Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 17, 2025

• Add write permission to CI

  Show description for 0293e8a
  

  ahelwer

  authored and

  lemmy

  committed
  0293e8a

  Copy full SHA for 0293e8a

Commits on Jan 16, 2025

• Merge pull request #14 from ahelwer/2025-01-dev-update

  Show description for d51be65
  muenchnerkindl

  authored
  d51be65

  Copy full SHA for d51be65

Commits on Jan 15, 2025

• Wrote January 2025 development update post

  Show description for e993d43
  ahelwer

  committed
  e993d43

  Copy full SHA for e993d43

Commits on Dec 17, 2024

• Merge pull request #13 from ahelwer/developer-update

  Show description for 4713698
  muenchnerkindl

  authored
  4713698

  Copy full SHA for 4713698

Commits on Dec 14, 2024

• Wrote December 2024 development update post

  Show description for a087feb
  ahelwer

  committed
  a087feb

  Copy full SHA for a087feb

Commits on Nov 21, 2024

• Add infrastructure for blogging (#8) (#12)

  Show description for 176f3b9
  juliaferraioli

  authored
  176f3b9

  Copy full SHA for 176f3b9

Commits on Nov 18, 2024

• Grant justification language tweaks (#10)

  Show description for 844ebd0
  juliaferraioli

  authored
  844ebd0

  Copy full SHA for 844ebd0

Commits on Jul 16, 2024

• Establish and announce 2024 TLA+ grant program (#8)

  Show description for a964c71
  juliaferraioli

  authored
  a964c71

  Copy full SHA for a964c71

Commits on Jul 15, 2024

• Fix deploy GH action

  juliaferraioli

  authored
  071e2e7

  Copy full SHA for 071e2e7

Commits on Jun 7, 2024

• Add May 2024 minutes (#7)

  Show description for 7a18fdb
  hythloda

  authored
  7a18fdb

  Copy full SHA for 7a18fdb

Commits on Apr 24, 2024

• Migrate foundation website to Hugo (#5)

  Show description for 94d8e5b
  juliaferraioli

  authored
  94d8e5b

  Copy full SHA for 94d8e5b

Commits on Jun 12, 2023

• Create SpecificationLanguageCommittee.md

  xxyzzn

  authored
  9d20666

  Copy full SHA for 9d20666

Commits on Apr 20, 2023

• Update to new url

  lemmy

  authored
  9ce308d

  Copy full SHA for 9ce308d

• Link to press release

  lemmy

  authored
  61ac351

  Copy full SHA for 61ac351

• Switch to new oracle logo

  lemmy

  authored
  1ea133b

  Copy full SHA for 1ea133b

• Upload new oracle logo with proper name

  lemmy

  authored
  2c801b3

  Copy full SHA for 2c801b3

• Delete Oracle_rgb_#c74634.png

  lemmy

  authored
  82bcd7e

  Copy full SHA for 82bcd7e

• Upload new oracle logo

  lemmy

  authored
  6221a12

  Copy full SHA for 6221a12

• Link to technical charter

  lemmy

  authored
  8f28ac6

  Copy full SHA for 8f28ac6

Commits on Apr 19, 2023

• Fix broken link

  lemmy

  authored
  006c78e

  Copy full SHA for 006c78e

• Add link to project meeting calendar

  lemmy

  authored
  3286e68

  Copy full SHA for 3286e68

• Replace "footer" with footer line

  lemmy

  authored
  16d1a90

  Copy full SHA for 16d1a90

• Draft version of foundation website

  lemmy

  authored
  d1cf9ae

  Copy full SHA for d1cf9ae

• Add logos for landing page

  lemmy

  authored
  accbf0d

  Copy full SHA for accbf0d

• Create .keep

  lemmy

  authored
  983a1cc

  Copy full SHA for 983a1cc

Commits on Jan 13, 2023

• Add the TLA+ Project Technical Charter

  lemmy

  authored
  949b951

  Copy full SHA for 949b951

Commits on Dec 31, 2022

• Merge pull request #4 from tlaplus/jobdesc

  Show description for 3c554ca
  ahelwer

  authored
  3c554ca

  Copy full SHA for 3c554ca

Commits on Apr 12, 2022

• Changed tense in responsibilities

  ahelwer

  committed
  bdceff3

  Copy full SHA for bdceff3

• Fixed spelling of INRIA

  ahelwer

  committed
  20eba4d

  Copy full SHA for 20eba4d

Commits on Apr 11, 2022

• Wrote job post

  ahelwer

  committed
  34f5118

  Copy full SHA for 34f5118

Commits on Mar 25, 2022

• Add minutes for March 25th meeting

  ahelwer

  committed
  e397271

  Copy full SHA for e397271

Commits on Mar 2, 2022

• Added minutes for 03/02/2022 meeting

  ahelwer

  committed
  8eb4bdc

  Copy full SHA for 8eb4bdc

Commits on Feb 25, 2022

• Fixed minutes markdown

  ahelwer

  committed
  afecfa0

  Copy full SHA for afecfa0

• Minutes for Feb 2022 meeting

  ahelwer

  committed
  21775ac

  Copy full SHA for 21775ac

Commits on Jan 29, 2022

• Minutes for 12/22 and 01/25 meetings

  ahelwer

  committed
  0ef90b0

  Copy full SHA for 0ef90b0

Pagination

Previous

Next