Formatting Team Meeting 2025-04-15

[Infinisil]

Team info
All meeting notes
Team attendees: @infinisil, @jfly, Sergey, @piegames

Agenda & Notes

• Next team lead
  • nixfmt/team at master · NixOS/nixfmt · GitHub documents team lead responsibilities
    • Also leading the meeting and adding things to the project board
    • Should have google calendar access
      • Derive community calendar from team calendars? · Issue #53 · NixOS/org · GitHub
  • Ask in the channel who would be okay with leading
    • Sergey: Not a lot of time right now, rather not
    • @jfly: Could do that if there’s nobody else
    • @piegames: Not interested
• Merged Parse numbers as strings by piegamesde · Pull Request #293 · NixOS/nixfmt · GitHub
• Discussed coqPackages.mathcomp: 2.3.0 -> 2.4.0 by CohenCyril · Pull Request #398611 · NixOS/nixpkgs · GitHub
• Discussed Add some documentation about the official nix formatter by jfly · Pull Request #1129 · NixOS/nix.dev · GitHub