| 1 |
On 25 February 2017 at 15:05, Ulrich Mueller <ulm@g.o> wrote: |
| 2 |
> As the council has decided in its 2014-10-14 meeting (and confirmed |
| 3 |
> again in the 2016-11-13 meeting), CVS headers should be removed after |
| 4 |
> the migration to Git. Until recently, this was blocked by repoman |
| 5 |
> still checking for the $Id$ line. The latter is now fixed in the |
| 6 |
> stable repoman version. |
| 7 |
> |
| 8 |
> Therefore, I am going to remove the remaining CVS headers throughout |
| 9 |
> the tree (except for patches, of course) in two days from now. |
| 10 |
|
| 11 |
Don't forget to clean up wiki and dev docs as well. |
Archives