341269e035
* assistant, watcher: .gitignore files and other git ignores are now
honored, when git 1.8.4 or newer is installed.
(Thanks, Adam Spiers, for getting the necessary support into git for this.)
* importfeed: Ignores transient problems with feeds. Only exits nonzero
when a feed has repeatedly had a problems for at least 1 day.
* importfeed: Fix handling of dots in extensions.
* Windows: Added support for encrypted special remotes.
* Windows: Fixed permissions problem that prevented removing files
from directory special remote. Directory special remotes now fully usable.
# imported from the archive
14 lines
485 B
Text
14 lines
485 B
Text
<div .span9 .hero-unit>
|
|
<h2>
|
|
Repository deleted
|
|
<p>
|
|
As much data as possible has been removed from the repository
|
|
"#{reponame}", and it has been removed from the list of repositories.
|
|
<p>
|
|
$if gitrepo
|
|
<div .alert>
|
|
Since "#{reponame}" is a git repository, it still contains
|
|
some data. To completely remove it, you should go delete that git
|
|
repository.
|
|
$else
|
|
Now you can safely go delete the underlying storage of the repository.
|