On Tue, Jan 06, 2026 at 12:54:49AM +0900, Koji Yokota wrote: > > Is github necessary or the current official account on codeberg could be > > used as well? > > For a usual command like ???brew tap $GITHUB_USERNAME/$TAP_NAME??? to be > used, account need to be in Github. According to the manual of the brew > command, by adding URL after the above command sequence, other hosts can be > used. This is a little bit unusual, but by correctly informing users, we can > use codeberg too.
We could simply create tap in our main git tree, and the formula inside will just point to .dmg provided by our ftp server? If brew can directly talk with git, we could use git.lyx.org if it needs http we can use codeberg which mirrors git.lyx.org. What is not clear to me, where to store the tap itself. It's likely so small that we can directly include it in development/ if brew knows how to reach it deeper in the file structure. Or do we need completely clean repo? (That's possible as well, but less convenient than just have it in master branch of lyx.git). Pavel -- lyx-devel mailing list [email protected] https://lists.lyx.org/mailman/listinfo/lyx-devel
