Sep-Nov 2025 project updates

[pamoroso]

An update to the News and Status Reports page that links to the YouTube videos we posted in Sep 2025 and Ryan Burnside's Interlisp project for the Autumn Lisp Game Jam 2025.

[pamoroso]

After this PR was merged, using GitHub's web interface I synced the corresponding branch of my fork and now there's a pamoroso:pa5-sep-nov-2025-updates had recent pushes 2 minutes ago Compare & pull request button both here and in my fork. Any advice on how to proceed? Should I delete the branch in my fork?

[stumbo]

@pamoroso I don't use the web interface and so I may be off on what happened. What I believe happened - you created the PR, I reviewed, approved and merged it. That action added your changes to main. You then merged main back into your branch. This action added two commits - the merged PR and a merge commit. The result is your branch now has two new commits to it. GitHub sees that there are changes to your branch the two commits (GitHub is calling them pushes).

My advice is to delete the branch. It has served its purpose and has no real value. If you want to add new updates, I would create a new branch from the updated main and go from there.

[pamoroso]

Thanks, I deleted the branch and now my repo is up to date.