GitHub 帮助显示 GitHub Pages 的以下选项：
那么我们可以使用名称不是master或gh-pages的分支吗？例如，有没有办法为 GitHub Pages 选择“站点”分支？我尝试在“设置”中选择站点分支，但没有看到这样的选项。那么我们可以只使用 master 或 gh-pages 吗？这有记录在某处吗？
# 我想知道这一点，因为我在网站内容中使用分支名称，并且想知道是否需要转义该名称。
我实际上在一个问题上坐了一个多小时，但没有\xc2\xb4找到解决方案。\n我有这个数据类型：\ntype \'a tree = Empty | Node of \'a * \'a tree * \'a tree
我必须找到一个函数来转换有序列表中给定的树。也不存在像左孩子必须小于右孩子这样的不变量。我已经找到了“正常”递归解决方案，但没有找到尾递归解决方案。我已经考虑过构建一个无序列表并使用 对其进行排序List.sort，但这使用了不是尾递归的合并排序。也许有人有一个好的建议。
谢谢你！
\n