It is greyed out until you actually make a change in the file. (And if you have then there is some javascript silliness happening in your browser. Refresh page. If it still happens, turn off javascript-based browser extensions. Like that one that changes 'Trump' to 'Drumpf'. ;-) ) -James On 04/03/16 12:30, Hugh Cayless wrote:

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 wrote:

...

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

-- Dr James Cummings, James.Cummings@it.ox.ac.uk Academic IT Services, University of Oxford