Skip to content

PRG changes on top of scratch's develop#3

Draft
pmalacho-mit wants to merge 38 commits into
developfrom
main
Draft

PRG changes on top of scratch's develop#3
pmalacho-mit wants to merge 38 commits into
developfrom
main

Conversation

@pmalacho-mit
Copy link
Copy Markdown
Collaborator

Resolves

What Github issue does this resolve (please include link)?

Proposed Changes

Describe what this Pull Request does

Reason for Changes

Explain why these changes should be made

Test Coverage

Please show how you have added tests to cover your changes

subrepo:
  subdir:   "scratch-packages/scratch-editor"
  merged:   "fef56bd080"
upstream:
  origin:   "git@github.com:mitmedialab/prg-raise-playground-scratch-editor.git"
  branch:   "playground-fork-updated"
  commit:   "f0da538942"
git-subrepo:
  version:  "0.4.9"
  origin:   "https://github.com/Homebrew/brew"
  commit:   "aa3933a427"
subrepo:
  subdir:   "scratch-packages/scratch-editor"
  merged:   "ebaf7fb6c4"
upstream:
  origin:   "git@github.com:mitmedialab/prg-raise-playground-scratch-editor.git"
  branch:   "playground-fork-updated"
  commit:   "afea160bb1"
git-subrepo:
  version:  "0.4.9"
  origin:   "https://github.com/Homebrew/brew"
  commit:   "aa3933a427"
subrepo:
  subdir:   "scratch-packages/scratch-editor"
  merged:   "31df6249b9"
upstream:
  origin:   "git@github.com:mitmedialab/prg-raise-playground-scratch-editor.git"
  branch:   "playground-fork-updated"
  commit:   "a373c457a6"
git-subrepo:
  version:  "0.4.9"
  origin:   "https://github.com/Homebrew/brew"
  commit:   "aa3933a427"
subrepo:
  subdir:   "scratch-packages/scratch-editor"
  merged:   "995ddf607e"
upstream:
  origin:   "git@github.com:mitmedialab/prg-raise-playground-scratch-editor.git"
  branch:   "playground-fork-updated"
  commit:   "d902304aeb"
git-subrepo:
  version:  "0.4.9"
  origin:   "https://github.com/Homebrew/brew"
  commit:   "aa3933a427"
@pmalacho-mit pmalacho-mit marked this pull request as draft April 2, 2026 23:54
@pmalacho-mit pmalacho-mit changed the title Main PRG changes on top of scratch's develop Apr 2, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants