Dunno. It seems like it'll let me change it. Refresh and try again? Failing
that, you could go the long way round and edit it in your local repo, then
push.
On Fri, Mar 4, 2016 at 7:18 AM, Lou Burnard
I wanted to make a minor change to a file in the Stylesheets tree (specifically profiles/tei/slides/to.xsl)
I connected to the github site using https, and logging in as lb42. For some reason, although I can open the required file for editing and make the change, the button to commit the change is grayed out.
This doesnt happen with other files in the same tree (e.g. the Readme) so what's the deal here?
-- tei-council mailing list tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council
PLEASE NOTE: postings to this list are publicly archived