Learn more about these different git repos.
Other Git URLs
Check if the time stamp of the log file is earlier than the time stamp of the INI file and rotate the log file in this case.
Login to comment on this ticket.