[repo-assist] remove: Dockerfile and mybinder badge/documentation#1204

nojaf merged 9 commits into

mainfsprojects/FSharp.Formatting:mainfrom

repo-assist/remove-mybinder-2026-05-09-daaa0795d585a29dfsprojects/FSharp.Formatting:repo-assist/remove-mybinder-2026-05-09-daaa0795d585a29dCopy head branch name to clipboard